Index of /~peterd/agda/LF

[ICO]NameLast modifiedSizeDescription

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