| .. |
|
Structure
|
514d9fc643
[ fixed #1887, examples test-suite ] Fixed lib/Test.agda test.
|
%!s(int64=8) %!d(string=hai) anos |
|
Base.agda
|
c5b859575b
Horizontal tab characters are no longer treated as white space.
|
%!s(int64=15) %!d(string=hai) anos |
|
ChainReasoning.agda
|
fe37a8290b
[ Operator parser ] Fixed a long-standing operator fixity bug.
|
%!s(int64=9) %!d(string=hai) anos |
|
Congruence.agda
|
514d9fc643
[ fixed #1887, examples test-suite ] Fixed lib/Test.agda test.
|
%!s(int64=8) %!d(string=hai) anos |
|
Equivalence.agda
|
a4d8e4bbdf
changed syntax for record fields in preparaton for fancy projection modules
|
%!s(int64=17) %!d(string=hai) anos |
|
Identity.agda
|
c5b859575b
Horizontal tab characters are no longer treated as white space.
|
%!s(int64=15) %!d(string=hai) anos |
|
Leibniz.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 |
|
Operations.agda
|
2d44fa877a
syntax change: using/hiding lists are separated by ;
|
%!s(int64=18) %!d(string=hai) anos |
|
Relations.agda
|
1a916cf4db
minor cleaning of min-max example
|
%!s(int64=17) %!d(string=hai) anos |
Andrés Sicard-Ramírez
514d9fc643
[ fixed #1887, examples test-suite ] Fixed lib/Test.agda test.