Analysis
|
Define interpretation of the sign lattice
|
2024-04-30 21:58:41 -07:00 |
Language
|
Add more higher-order primitives
|
2024-04-30 21:56:34 -07:00 |
Isomorphism.agda
|
Update with new changes to Agda
|
2024-03-03 16:44:10 -08:00 |
Lattice.agda
|
Get forward analysis working again
|
2024-04-13 14:08:40 -07:00 |
Main.agda
|
Get everything compiling
|
2024-04-13 14:13:44 -07:00 |
Showable.agda
|
Use instances to simplify printing code
|
2024-03-11 12:50:05 -07:00 |
Utils.agda
|
Add more higher-order primitives
|
2024-04-30 21:56:34 -07:00 |