Published May 8, 2017
| Version v0.0.1
Software
Open
JLimperg/well-founded-corecursion: 0.0.1
Creators
Description
This is the first release of the wellfounded-coind library, as well as the version cited by the accompanying thesis.
Files
JLimperg/well-founded-corecursion-v0.0.1.zip
Files
(23.5 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:4d1aaa62a14acf6373120ba6e941182e
|
23.5 kB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/JLimperg/well-founded-corecursion/tree/v0.0.1 (URL)