Index of /~peterd/agda/LF

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[TXT]ChurchEncodings.agda 2015-06-09 14:54 1.2K 
[   ]ChurchEncodings.agdai 2015-06-07 17:34 4.7K 
[TXT]Combinators.agda 2015-06-07 17:30 1.0K 
[   ]Combinators.agdai 2015-06-09 14:49 4.1K 
[   ]HOL.agda 2015-06-09 14:52 550  
[   ]HOL.agdai 2015-06-09 14:52 3.6K 
[   ]ZF.agda 2015-06-07 18:00 759  
[   ]ZF.agdai 2015-06-09 14:53 5.4K