GitHub / Kamirus / purescript-functional-concepts
Elaborated examples concerning functional concepts e.g. gadt, eadt, church encodings
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Kamirus%2Fpurescript-functional-concepts
Stars: 5
Forks: 1
Open issues: 0
License: None
Language: PureScript
Size: 32.2 KB
Dependencies parsed at: Pending
Created at: over 6 years ago
Updated at: 6 months ago
Pushed at: 6 months ago
Last synced at: 16 days ago
Topics: church-encoding, eadt, exists, gadt, gadts, higher-order-functions, leibniz-equality, row-polymorphism, tagless, typeclasses
Loading...