- Committer: Bazaar Package Importer
- Date: 2010-05-25 22:13:02 UTC
- mfrom: (2.1.2 sid)
- Revision ID: james.westby@ubuntu.com-20100525221302-dlbcjhqc7hfh2lbi
Fakesync from Debian unstable due to orig.tar.gz mismatch
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
Algebra
|
1 | 14 years ago | Bazaar Package Importer | Import upstream version 0.3 |
|
||
|
Category
|
1 | 14 years ago | Bazaar Package Importer | Import upstream version 0.3 |
|
||
|
Data
|
1 | 14 years ago | Bazaar Package Importer | Import upstream version 0.3 |
|
||
|
Foreign
|
1 | 14 years ago | Bazaar Package Importer | Import upstream version 0.3 |
|
||
|
Induction
|
1 | 14 years ago | Bazaar Package Importer | Import upstream version 0.3 |
|
||
|
IO
|
1 | 14 years ago | Bazaar Package Importer | Import upstream version 0.3 |
|
||
|
Relation
|
1 | 14 years ago | Bazaar Package Importer | Import upstream version 0.3 |
|
||
Algebra.agda |
1 | 14 years ago | Bazaar Package Importer | Import upstream version 0.3 | 12.8 KB |
|
|
|
Coinduction.agda |
1 | 14 years ago | Bazaar Package Importer | Import upstream version 0.3 | 573 bytes |
|
|
|
Induction.agda |
1 | 14 years ago | Bazaar Package Importer | Import upstream version 0.3 | 1.9 KB |
|
|
|
IO.agda |
1 | 14 years ago | Bazaar Package Importer | Import upstream version 0.3 | 3.3 KB |
|
|
|
Level.agda |
1 | 14 years ago | Bazaar Package Importer | Import upstream version 0.3 | 673 bytes |
|
|
|
Size.agda |
1 | 14 years ago | Bazaar Package Importer | Import upstream version 0.3 | 354 bytes |
|
|