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