SaaSHub helps you find the best software and product alternatives Learn more →
DependentTypeEval reviews and mentions
Posts with mentions or reviews of DependentTypeEval.
We have used some of these posts to build our list of alternatives
and similar projects.
- [Request] Feedback on my simple dependent typed syntax evaluator (Idris 2)
-
A note from our sponsor - SaaSHub
www.saashub.com | 27 Apr 2024
Stats
Basic DependentTypeEval repo stats
3
0
10.0
over 1 year ago
The primary programming language of DependentTypeEval is Idris.
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com