Index of /~nad/repos/codata/Lambda/Substitution

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory   -  
[   ]Equivalence.agda 16-Feb-2010 20:16 1.6K 
[   ]Functional.agda 01-Aug-2012 20:40 4.9K 
[   ]OneSemantics.agda 01-Aug-2012 20:40 1.4K 
[   ]TwoSemantics.agda 16-Feb-2010 20:16 1.2K