User contributions
Jump to navigation
Jump to search
- 10:57, 25 October 2023 diff hist +290 Existential type Explain up front why it is called existential types when it is written "forall". current
- 10:47, 11 March 2023 diff hist +667 ListT done right references. Sorry for the self-reference.
- 10:27, 11 March 2023 diff hist +5 m ListT done right →Introduction
- 10:26, 11 March 2023 diff hist +1 m ListT done right →Introduction
- 10:26, 11 March 2023 diff hist +27 m ListT done right →Introduction
- 10:24, 11 March 2023 diff hist +816 ListT done right in defence of the original listt
- 10:02, 11 March 2023 diff hist +430 ListT done right recalling definition of simple listt and being clearer about what's good and bad
- 10:33, 9 March 2023 diff hist +23 Hask Corrected title, since this was not about cartesian closeness current
- 10:32, 9 March 2023 diff hist +371 Hask possibly using unboxed improves some things. Correct if wrong!
- 10:34, 8 March 2023 diff hist +7 Hask
- 10:34, 8 March 2023 diff hist +1 Hask
- 10:33, 8 March 2023 diff hist +333 Hask →Is Hask even a category?
- 10:21, 8 March 2023 diff hist +1,449 Hask Improving the intro