idris2-tutorial reviews and mentions
Posts with mentions or reviews of idris2-tutorial.
We have used some of these posts to build our list of alternatives
and similar projects.
Stats
Basic idris2-tutorial repo stats
2
174
4.2
9 months ago
stefan-hoeck/idris2-tutorial is an open source project licensed under BSD 3-clause "New" or "Revised" License which is an OSI approved license.
The primary programming language of idris2-tutorial is Idris.
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com