Index of /~ulfn/darcs/AFP08/LectureNotes

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory   -  
[   ]preamble.tex 08-Jun-2009 09:56 1.8K 
[   ]llncs.cls 08-Jun-2009 09:56 41K 
[   ]lecture_notes.tex 08-Jun-2009 09:56 2.9K 
[   ]Views.lagda 08-Jun-2009 09:56 16K 
[   ]Universes.lagda 08-Jun-2009 09:56 9.9K 
[   ]Makefile 08-Jun-2009 09:56 304  
[DIR]Logic/ 08-Jun-2009 09:56 -  
[   ]Logic.agda 08-Jun-2009 09:56 160  
[   ]Exercise2.lagda 08-Jun-2009 09:56 6.7K 
[   ]Exercise1.lagda 08-Jun-2009 09:56 3.6K 
[   ]Databases.lagda 08-Jun-2009 09:56 4.3K 
[DIR]Data/ 08-Jun-2009 09:56 -  
[   ]Compiling.lagda 08-Jun-2009 09:56 5.5K 
[   ]AgdaIntro.pdf 03-Jan-2013 09:47 281K 
[   ]AgdaBasics.lagda 08-Jun-2009 09:56 36K