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.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
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.