Talk:Hask

From HaskellWiki
Revision as of 06:40, 11 January 2018 by Lyxia (talk | contribs) (Created page with "= The category actually does not exist = See http://math.andrej.com/2016/08/06/hask-is-not-a-category/ It would be better to clearly define Hask, and either fix it to be a c...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

The category actually does not exist

See http://math.andrej.com/2016/08/06/hask-is-not-a-category/

It would be better to clearly define Hask, and either fix it to be a category, or admit it is not a category with a clear explanation of what is broken and what can be saved. (Formalize fast-and-loose reasoning.)