../ AbsSyntax.hsPass pattern variable names to match compiler15 years ago Compiler.hsInstall support headers; allow arbitrary types in foreign calls15 years ago Coverage.hsPass pattern variable names to match compiler15 years ago DSL.hsChange meaning of alternative syntax (| a , b , ... |) Now takes the first alternative to elaborate,rather than requiring exactly one to work. Old behaviour reserved for disambiguating namespaces.15 years ago DataOpts.hsPass pattern variable names to match compiler15 years ago Delaborate.hsFix bug with de-elaboration of sigma types15 years ago ElabDecls.hsPass pattern variable names to match compiler15 years ago ElabTerm.hsChange meaning of alternative syntax (| a , b , ... |) Now takes the first alternative to elaborate,rather than requiring exactly one to work. Old behaviour reserved for disambiguating namespaces.15 years ago Error.hsCheck definitions structurally as well as by name in conversion15 years ago IBC.hsChange meaning of alternative syntax (| a , b , ... |) Now takes the first alternative to elaborate,rather than requiring exactly one to work. Old behaviour reserved for disambiguating namespaces.15 years ago Imports.hsAdd --ibcsubdir option (thanks to Dirk Ullrich)15 years ago Parser.hsChange meaning of alternative syntax (| a , b , ... |) Now takes the first alternative to elaborate,rather than requiring exactly one to work. Old behaviour reserved for disambiguating namespaces.15 years ago Primitives.hsAdded prim__bigIntToInt (needs latest EpiVM)15 years ago Prover.hsPass pattern variable names to match compiler15 years ago REPL.hsPass pattern variable names to match compiler15 years ago REPLParser.hsQuick hack at :info for exploring type classes15 years ago Transforms.hsAdd Transform module; make implicit args lazy15 years ago Unlit.hsRemoved need for terminating ; A declaration is now considered terminated on encountering a token in the same column as the declaration began - or on encountering a semicolon. Libraries and some tests updated.15 years ago