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