Build and test

Show the type of a term given 'bali-phy type term' #2353

Annotations

7 warnings

ccache 4.10.2_3 is already installed and up-to-date. To reinstall 4.10.2_3, run: brew reinstall ccache

HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK is set: not checking for outdated dependents or dependents with broken linkage!

cairo 1.18.2 is already installed and up-to-date. To reinstall 1.18.2, run: brew reinstall cairo

fmt 11.1.1 is already installed and up-to-date. To reinstall 11.1.1, run: brew reinstall fmt

HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK is set: not checking for outdated dependents or dependents with broken linkage!

Treating r as a formula. For the cask, use homebrew/cask/r or specify the `--cask` flag. To silence this message, use the `--formula` flag.

HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK is set: not checking for outdated dependents or dependents with broken linkage!