Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
BString.agda | 2010-04-21 13:01 | 1.8K | ||
CreateTables.sql | 2010-04-21 13:01 | 2.5K | ||
Database.agda | 2010-04-21 13:01 | 3.5K | ||
Eq.agda | 2010-04-21 13:01 | 559 | ||
ExampleDatabase.agda | 2010-04-21 13:01 | 2.4K | ||
InsertData.sql | 2010-04-21 13:01 | 27K | ||
List.agda | 2010-04-21 13:01 | 1.8K | ||
Main.agda | 2010-04-21 13:01 | 1.6K | ||
Makefile | 2010-04-21 13:01 | 229 | ||
Maybe.agda | 2010-04-21 13:01 | 140 | ||
Query.agda | 2010-04-21 13:01 | 7.6K | ||
Schema.agda | 2010-04-21 13:01 | 3.0K | ||
Util.agda | 2010-04-21 13:01 | 2.3K | ||
_darcs/ | 2010-04-21 13:01 | - | ||
compile | 2010-04-21 13:01 | 78 | ||
database.sql | 2010-04-21 13:01 | 676 | ||
firebird/ | 2010-04-21 13:01 | - | ||
html/ | 2010-04-21 13:01 | - | ||
make_database | 2010-04-21 13:01 | 127 | ||
notes | 2010-04-21 13:01 | 160 | ||
students.fdb | 2010-04-21 13:01 | 712K | ||
university.fdb | 2010-04-21 13:01 | 960K | ||