User contributions
- 20:40, 31 October 2019 (diff | hist) . . (-378) . . m Lifting (→Applicative lifting: Removed obsolete pre-AMP notes.) (current)
- 02:51, 9 October 2019 (diff | hist) . . (-9) . . m IDEs (mergeed Unmaintained into Outdated) (current)
- 02:47, 9 October 2019 (diff | hist) . . (+638) . . m IDEs (→Open Source: re-sorted listed to put popular ones on top, unmaintained at bottom.)
- 02:41, 9 October 2019 (diff | hist) . . (-7,982) . . Leksah Installation (Removed ancient information, added link to modern documentation) (current)