Elaborated examples concerning functional concepts e.g. gadt, eadt, church encodings
church-encoding
gadt
higher-order-functions
typeclasses
exists
tagless
row-polymorphism
leibniz-equality
gadts
eadt
-
Updated
Jan 4, 2021 - PureScript