![]() | 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 | |