Index of /~nad/repos/dependently-typed-syntax/deBruijn/Substitution

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory   -  
[   ]Data.agda 13-Feb-2015 16:50 11K 
[DIR]Data/ 13-Feb-2015 16:50 -  
[DIR]Function/ 13-Feb-2015 16:50 -  
[   ]Isomorphic.agda 06-Jun-2015 14:24 4.4K