User contributions
Jump to navigation
Jump to search
- 15:33, 2 July 2019 diff hist +9 m GHC/Type families change link to proper one
- 12:56, 26 February 2019 diff hist -1 Functor →Syntax: correct <$ signature