Implicit-fun-elaboration Alternatives and Reviews (Feb 2021)

Suggest an alternative to implicit-fun-elaboration

implicit-fun-elaboration reviews and mentions

Posts with mentions or reviews of implicit-fun-elaboration. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-02-01.

Richard Eisenberg: Update on Dependent Haskell
2 projects | /r/haskell | 1 Feb 2021

Thanks for clearing that up, also for the link

Stats

Basic implicit-fun-elaboration repo stats

Mentions

Stars

Activity

0.0

Last Commit

almost 3 years ago

The primary programming language of implicit-fun-elaboration is TeX.