Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
AgdaBasics.lagda | 2009-06-08 09:56 | 36K | ||
Data/ | 2009-06-08 09:56 | - | ||
Databases.lagda | 2009-06-08 09:56 | 4.3K | ||
Logic.agda | 2009-06-08 09:56 | 160 | ||
Makefile | 2009-06-08 09:56 | 304 | ||
Universes.lagda | 2009-06-08 09:56 | 9.9K | ||
Views.lagda | 2009-06-08 09:56 | 16K | ||
lecture_notes.tex | 2009-06-08 09:56 | 2.9K | ||
llncs.cls | 2009-06-08 09:56 | 41K | ||
preamble.tex | 2009-06-08 09:56 | 1.8K | ||
Compiling.lagda | 2009-06-08 09:56 | 5.5K | ||
Exercise1.lagda | 2009-06-08 09:56 | 3.6K | ||
Exercise2.lagda | 2009-06-08 09:56 | 6.7K | ||
Logic/ | 2009-06-08 09:56 | - | ||
AgdaIntro.pdf | 2013-01-03 09:47 | 281K | ||