|
Constructions
|
initial commit
|
2024-10-13 19:28:44 -07:00 |
|
Instances
|
initial commit
|
2024-10-13 19:28:44 -07:00 |
|
Category.agda
|
initial commit
|
2024-10-13 19:28:44 -07:00 |
|
Core.agda
|
initial commit
|
2024-10-13 19:28:44 -07:00 |
|
Definitions.agda
|
initial/terminal objects and products
|
2024-10-13 22:19:48 -07:00 |
|
Properties.agda
|
initial commit
|
2024-10-13 19:28:44 -07:00 |
|
Utils.agda
|
initial/terminal objects and products
|
2024-10-13 22:19:48 -07:00 |
