| .. |
|
Crash.agda
|
377a448e0a
very bad example
|
%!s(int64=18) %!d(string=hai) anos |
|
Crash.epi
|
f83e5b695f
Epigram doesn't crash example
|
%!s(int64=18) %!d(string=hai) anos |
|
Dangerous-Agda1.agda
|
862dbceff6
implicit paper examples
|
%!s(int64=18) %!d(string=hai) anos |
|
Dangerous-Agda2.agda
|
862dbceff6
implicit paper examples
|
%!s(int64=18) %!d(string=hai) anos |
|
Dangerous-AgdaLight.agda
|
862dbceff6
implicit paper examples
|
%!s(int64=18) %!d(string=hai) anos |
|
Example.agda
|
23c9474092
[ whitespace ] untabify everything
|
%!s(int64=10) %!d(string=hai) anos |
|
IllTyped.agda
|
23c9474092
[ whitespace ] untabify everything
|
%!s(int64=10) %!d(string=hai) anos |
|
Loop.agda
|
23c9474092
[ whitespace ] untabify everything
|
%!s(int64=10) %!d(string=hai) anos |
|
Scope.agda
|
691b8ed0b6
meta paper
|
%!s(int64=18) %!d(string=hai) anos |
|
Simple.agda
|
691b8ed0b6
meta paper
|
%!s(int64=18) %!d(string=hai) anos |
Andrés Sicard-Ramírez
06a20b7169
[ cleaning ] Removed .cvsignore files.