Kamirus / purescript-functional-concepts Star 4 Code Issues Pull requests 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