Purescript-Record-Extra
November 14, 2017 ยท View on GitHub
Examples and extra functions for working with records in PureScript.
These functions may be removed as they are merged into core libraries in 0.12 and beyond.
November 14, 2017 ยท View on GitHub
Examples and extra functions for working with records in PureScript.
These functions may be removed as they are merged into core libraries in 0.12 and beyond.