haskell-coq reviews and mentions
Posts with mentions or reviews of haskell-coq.
We have used some of these posts to build our list of alternatives
and similar projects.
-
Restrict Implementations of a Trait at Compile Time.
There are theorem proving languages which do what you describe, but this is well beyond the scope of what rust can do. For example, here is a typeclass (trait) for a monoid written in coq: https://github.com/domdere/haskell-coq/blob/master/src/classes/Monoid.v
Stats
Basic haskell-coq repo stats
1
2
10.0
almost 9 years ago
The primary programming language of haskell-coq is Coq.
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com