idris-hackers / software-foundationsLinks

Software Foundations in Idris
454Updated 6 years ago

Alternatives and similar repositories for software-foundations

Users that are interested in software-foundations are comparing it to the libraries listed below

Sorting: