elm-brands
August 13, 2016 ยท View on GitHub
An experiment with higher-kinded types in elm.
The idea is based on the paper Lightweight higher-kinded polymorphism
Interesting examples are Brands.Leibniz and Brands.Expr.
Running example is Main.
August 13, 2016 ยท View on GitHub
An experiment with higher-kinded types in elm.
The idea is based on the paper Lightweight higher-kinded polymorphism
Interesting examples are Brands.Leibniz and Brands.Expr.
Running example is Main.