| .. |
|
BoolMatcher.agda
|
6d2a19e2bc
updated examples to new mutual style (some still use old mutual blocks though)
|
%!s(int64=13) %!d(string=hai) anos |
|
Eq.agda
|
a4d8e4bbdf
changed syntax for record fields in preparaton for fancy projection modules
|
%!s(int64=17) %!d(string=hai) anos |
|
Everything.agda
|
689c6aaa09
Moved away or fixed many broken example files.
|
%!s(int64=16) %!d(string=hai) anos |
|
Prelude.agda
|
d05260528c
[ issue 730 ] BUILTIN NATURAL now binds ZERO and SUC
|
%!s(int64=11) %!d(string=hai) anos |
|
RegExps.agda
|
8a1d8c46c6
Added AIM6 RegExp talk.
|
%!s(int64=17) %!d(string=hai) anos |
|
Setoids.agda
|
a4d8e4bbdf
changed syntax for record fields in preparaton for fancy projection modules
|
%!s(int64=17) %!d(string=hai) anos |
|
SimpleMatcher.agda
|
dcd3b453cb
[ fix-agda-whithespace ] Added .agda, .cabal and .md files.
|
%!s(int64=10) %!d(string=hai) anos |
|
TALK
|
8a1d8c46c6
Added AIM6 RegExp talk.
|
%!s(int64=17) %!d(string=hai) anos |
Andrés Sicard-Ramírez
dcd3b453cb
[ fix-agda-whithespace ] Added .agda, .cabal and .md files.