issues
search
idris-hackers
/
software-foundations
Software Foundations in Idris
https://idris-hackers.github.io/software-foundations
MIT License
452
stars
34
forks
source link
Update known working versions in README.md
#11
Closed
yurrriq
closed
7 years ago