User contributions for Ennm

7 August 2022

• 15:5615:56, 7 August 2022 diff hist +7‎ m Error ‎ Clarified a bit current

6 August 2022

• 21:5621:56, 6 August 2022 diff hist −47‎ m GHC/Type families ‎ Correctly treat the functional dependencies link as internal
• 21:5521:55, 6 August 2022 diff hist +51‎ m GHC/Type families ‎ Added a link to functional dependencies page