Tool for making sense of the Haskell code generated by the Agda compiler
Primary LanguageHaskellMIT LicenseMIT