Ulf Norell 3e609b7bb8 [ fix #418 ] no longer see through abstract in private+abstract type signatures %!s(int64=4) %!d(string=hai) anos
..
Bag.agda 3e609b7bb8 [ fix #418 ] no longer see through abstract in private+abstract type signatures %!s(int64=4) %!d(string=hai) anos
Datoid.agda 9485444ae0 major syntax change: comma is now a valid identifier char (public, renaming, using and hiding are keywords) %!s(int64=18) %!d(string=hai) anos
Eq.agda 9485444ae0 major syntax change: comma is now a valid identifier char (public, renaming, using and hiding are keywords) %!s(int64=18) %!d(string=hai) anos
Equiv.agda 0f5514d460 Freeze meta variables after each declaration. %!s(int64=14) %!d(string=hai) anos
List.agda dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. %!s(int64=11) %!d(string=hai) anos
Nat.agda 9485444ae0 major syntax change: comma is now a valid identifier char (public, renaming, using and hiding are keywords) %!s(int64=18) %!d(string=hai) anos
ParserC.agda c5b859575b Horizontal tab characters are no longer treated as white space. %!s(int64=16) %!d(string=hai) anos
Pos.agda 5bf75eb8cf Merged conflicting changes (both Ulf and I fixed issue 246). %!s(int64=15) %!d(string=hai) anos
Prelude.agda dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. %!s(int64=11) %!d(string=hai) anos