3 ms·
In addition to Agda and Coq (and Idris) you might be interested in djinn (https://hackage.haskell.org/package/djinn https://hackage.haskell.org/package/djinn) a
by lgas 7y ago
In addition to Agda and Coq (and Idris) you might be interested in djinn (https://hackage.haskell.org/package/djinn https://hackage.haskell.org/package/djinn) and ghc-justdoit (https://github.com/nomeata/ghc-justdoit https://github.com/nomeata/ghc-justdoit) for Haskell. The ghc-justdoit page lists some related work as well.
- pezo1919 7y agoI don't really know haskell but that seems interesting. Can you please explain 1. the potential gains you have with the packages above 2. the drawbacks of using these opposed to a Dependent Typed language? It would help a lot to me.