Start design doc#957

Closed

JacquesCarette wants to merge 3 commits intoagda:masterfrom

JacquesCarette:StartDesignDoc

Commits on Oct 21, 2019

Deprecate LEQ in Data.Unit, and remove it from Data.Unit.Polymorphic.
JacquesCarette
committed
Start documenting some library design decisions. Level-polymorphism as a start (see #312)
JacquesCarette
committed
add DESIGN.md to CHANGELOG.md
JacquesCarette
committed