Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2020-12-02 | Re-named "::" and ":::" macros to "\" and "\\", to be consistent with the ↵ | Eduardo Julian | 1 | -6/+6 | |
convention that only macros that deal with types may start with a colon. | |||||
2020-11-02 | Added CoMonad for CoFree. | Eduardo Julian | 1 | -0/+47 | |