Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Conversion.agda | 2009-06-08 09:56 | 2.1K | ||
CreateTables.sql | 2009-06-08 09:56 | 2.5K | ||
Database.agda | 2009-06-08 09:56 | 1.4K | ||
ExampleDatabase.agda | 2009-06-08 09:56 | 2.3K | ||
Firebird.agda | 2009-06-08 09:56 | 1.5K | ||
InsertData.sql | 2009-06-08 09:56 | 27K | ||
Main.agda | 2009-06-08 09:56 | 1.0K | ||
Makefile | 2009-06-08 09:56 | 247 | ||
Query.agda | 2009-06-08 09:56 | 2.8K | ||
Schema.agda | 2009-06-08 09:56 | 928 | ||
Universe.agda | 2009-06-08 09:56 | 1.7K | ||
make_database | 2009-06-08 09:56 | 127 | ||