Collect type information about Agda like goals in Haskell code.
Primary LanguageHaskellOtherNOASSERTION