 Andrés Sicard-Ramírez
|
dcd3b453cb
[ fix-agda-whithespace ] Added .agda, .cabal and .md files.
|
il y a 10 ans |
 Nils Anders Danielsson
|
310d8c455c
Fixed a bug: OPTIONS pragmas stayed in effect for imported modules.
|
il y a 15 ans |
 ulfn
|
250f11bb76
renamed more things called |
|
il y a 17 ans |
|
ulfn
|
2d44fa877a
syntax change: using/hiding lists are separated by ;
|
il y a 18 ans |
|
ulfn
|
9485444ae0
major syntax change: comma is now a valid identifier char (public, renaming, using and hiding are keywords)
|
il y a 18 ans |
|
ulfn
|
46ea7c442c
started on port of Few Digits library for exact real arithmetic
|
il y a 18 ans |
