impl-paper/Some effort at reporting line numbers of errors (top level of decl only)15 years ago lib/Add :a comment, to add most recent proof script to source file15 years ago samples/Added 'module' keyword to declare default namespace. 'main' must be in namespace 'main'15 years ago src/Add :a comment, to add most recent proof script to source file15 years ago test/Added 'module' keyword to declare default namespace. 'main' must be in namespace 'main'15 years ago LICENSEFix LICENSE15 years ago MakefileAdded test directory and a single test...15 years ago READMEUpdate .cabal and README15 years ago idris.cabalSeparate elaboration of declarations and terms15 years ago