| .. |
|
Nat
|
514d9fc643
[ fixed #1887, examples test-suite ] Fixed lib/Test.agda test.
|
8 lat temu |
|
Real
|
6311bbb613
[ Operator parser ] Support for sections.
|
9 lat temu |
|
Bits.agda
|
310d8c455c
Fixed a bug: OPTIONS pragmas stayed in effect for imported modules.
|
15 lat temu |
|
Bool.agda
|
250f11bb76
renamed more things called |
|
17 lat temu |
|
Char.agda
|
eb7ea8e1bf
computing -1/100 with two decimals takes around 7 seconds
|
18 lat temu |
|
Fin.agda
|
c5b859575b
Horizontal tab characters are no longer treated as white space.
|
15 lat temu |
|
Integer.agda
|
310d8c455c
Fixed a bug: OPTIONS pragmas stayed in effect for imported modules.
|
15 lat temu |
|
Interval.agda
|
46ea7c442c
started on port of Few Digits library for exact real arithmetic
|
18 lat temu |
|
List.agda
|
dee6ebca7a
started porting libraries to use inductive families
|
18 lat temu |
|
Map.agda
|
689c6aaa09
Moved away or fixed many broken example files.
|
16 lat temu |
|
Maybe.agda
|
c5b859575b
Horizontal tab characters are no longer treated as white space.
|
15 lat temu |
|
Nat.agda
|
d05260528c
[ issue 730 ] BUILTIN NATURAL now binds ZERO and SUC
|
11 lat temu |
|
Permutation.agda
|
c5b859575b
Horizontal tab characters are no longer treated as white space.
|
15 lat temu |
|
PigeonHole.agda
|
c5b859575b
Horizontal tab characters are no longer treated as white space.
|
15 lat temu |
|
Rational.agda
|
dcd3b453cb
[ fix-agda-whithespace ] Added .agda, .cabal and .md files.
|
10 lat temu |
|
Show.agda
|
310d8c455c
Fixed a bug: OPTIONS pragmas stayed in effect for imported modules.
|
15 lat temu |
|
String.agda
|
9485444ae0
major syntax change: comma is now a valid identifier char (public, renaming, using and hiding are keywords)
|
18 lat temu |
|
Tuple.agda
|
dee6ebca7a
started porting libraries to use inductive families
|
18 lat temu |
|
Vec.agda
|
c5b859575b
Horizontal tab characters are no longer treated as white space.
|
15 lat temu |
Andrés Sicard-Ramírez
514d9fc643
[ fixed #1887, examples test-suite ] Fixed lib/Test.agda test.