User contributions
Jump to navigation
Jump to search
- 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
- 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