Index of /~nad/repos/codata/Lambda

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory   -  
[DIR]Closure/ 31-Aug-2017 14:35 -  
[   ]Substitution.agda 01-Aug-2012 20:40 7.7K 
[DIR]Substitution/ 01-Aug-2012 20:40 -  
[   ]Syntax.agda 08-Dec-2016 13:59 3.2K 
[   ]VirtualMachine.agda 31-Aug-2017 14:35 17K