![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | AgdaBasics.lagda | 2009-06-08 09:56 | 36K | |
![]() | AgdaIntro.pdf | 2013-01-03 09:47 | 281K | |
![]() | Compiling.lagda | 2009-06-08 09:56 | 5.5K | |
![]() | Data/ | 2009-06-08 09:56 | - | |
![]() | Databases.lagda | 2009-06-08 09:56 | 4.3K | |
![]() | Exercise1.lagda | 2009-06-08 09:56 | 3.6K | |
![]() | Exercise2.lagda | 2009-06-08 09:56 | 6.7K | |
![]() | Logic.agda | 2009-06-08 09:56 | 160 | |
![]() | Logic/ | 2009-06-08 09:56 | - | |
![]() | 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 | |