Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with leibniz-equality
A curated list of projects in awesome lists tagged with leibniz-equality .
https://github.com/kamirus/purescript-functional-concepts
Elaborated examples concerning functional concepts e.g. gadt, eadt, church encodings
church-encoding eadt exists gadt gadts higher-order-functions leibniz-equality row-polymorphism tagless typeclasses
Last synced: 03 Nov 2024
