Skip to content

Files

Latest commit

c56761e · Aug 15, 2013

History

History
1 lines (1 loc) · 8 Bytes

Agda.gitignore

File metadata and controls

1 lines (1 loc) · 8 Bytes