Idris2-boot reviews and mentions
Posts with mentions or reviews of Idris2-boot.
We have used some of these posts to build our list of alternatives
and similar projects.
Stats
Basic Idris2-boot repo stats
1
12
0.0
almost 3 years ago
mmhelloworld/Idris2-boot is an open source project licensed under GNU General Public License v3.0 or later which is an OSI approved license.
The primary programming language of Idris2-boot is Idris.
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com