Changelog for proxy-mapping-0.1.0.1
Revision history for proxy-mapping
0.1.0.0 -- 2017-12-03
- First version
- Successor and predecessor of Proxy Nat
- Head and tail of Proxy (x ': xs)
- Application of Proxy (a -> b) to Proxy a
- Type parameter accessors for types with up to 16 parameters
0.1.0.1 -- 2017-12-04
- Fix typo in first example