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

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory   -  
[   ]Basics.agda 13-Feb-2015 16:50 18K 
[DIR]Extension/ 13-Feb-2015 16:50 -  
[   ]Term-like.agda 13-Feb-2015 16:50 15K