Domů Procházet Nápověda
Přihlásit se
caryoscelus
/
agda
Sledovat 1
Oblíbit 0
Rozštěpit 0
Soubory Úkoly 0 Pull Requesty 0 Wiki
Strom: 9c190b6ebc
Větve Značky
agda
/
examples
/
lib
/
Data
Andrés Sicard-Ramírez 514d9fc643 [ fixed #1887, examples test-suite ] Fixed lib/Test.agda test. před 8 roky
..
Nat 514d9fc643 [ fixed #1887, examples test-suite ] Fixed lib/Test.agda test. před 8 roky
Real 6311bbb613 [ Operator parser ] Support for sections. před 9 roky
Bits.agda 310d8c455c Fixed a bug: OPTIONS pragmas stayed in effect for imported modules. před 15 roky
Bool.agda 250f11bb76 renamed more things called | před 17 roky
Char.agda eb7ea8e1bf computing -1/100 with two decimals takes around 7 seconds před 18 roky
Fin.agda c5b859575b Horizontal tab characters are no longer treated as white space. před 15 roky
Integer.agda 310d8c455c Fixed a bug: OPTIONS pragmas stayed in effect for imported modules. před 15 roky
Interval.agda 46ea7c442c started on port of Few Digits library for exact real arithmetic před 18 roky
List.agda dee6ebca7a started porting libraries to use inductive families před 18 roky
Map.agda 689c6aaa09 Moved away or fixed many broken example files. před 16 roky
Maybe.agda c5b859575b Horizontal tab characters are no longer treated as white space. před 15 roky
Nat.agda d05260528c [ issue 730 ] BUILTIN NATURAL now binds ZERO and SUC před 11 roky
Permutation.agda c5b859575b Horizontal tab characters are no longer treated as white space. před 15 roky
PigeonHole.agda c5b859575b Horizontal tab characters are no longer treated as white space. před 15 roky
Rational.agda dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. před 10 roky
Show.agda 310d8c455c Fixed a bug: OPTIONS pragmas stayed in effect for imported modules. před 15 roky
String.agda 9485444ae0 major syntax change: comma is now a valid identifier char (public, renaming, using and hiding are keywords) před 18 roky
Tuple.agda dee6ebca7a started porting libraries to use inductive families před 18 roky
Vec.agda c5b859575b Horizontal tab characters are no longer treated as white space. před 15 roky