Published November 10, 2021
| Version v1.0.0
Software
Open
DimaSamoz/agda-soas: Initial release
Creators
Description
Initial library release, in preparation for POPL 2022.
Files
DimaSamoz/agda-soas-v1.0.0.zip
Files
(214.3 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:d1058a51ae4bf541bfceba6f8e8486e5
|
214.3 kB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/DimaSamoz/agda-soas/tree/v1.0.0 (URL)