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