User contributions
- 00:10, 16 July 2016 (diff | hist) . . (-29) . . Generalised algebraic datatype (Undo revision 60911 by Mirpa (talk))
- 23:59, 15 July 2016 (diff | hist) . . (+29) . . Generalised algebraic datatype (→Motivating example: exists note)
- 22:40, 15 July 2016 (diff | hist) . . (+8) . . Unicode-symbols (→UnicodeSyntax: fix for broken link)
- 03:22, 13 July 2016 (diff | hist) . . (-24) . . Applications and libraries/Theorem provers (→Applications: Epigram: removal of broken link)
- 03:20, 13 July 2016 (diff | hist) . . (-24) . . Dependent type (→Epigram: removal of broken link)
- 14:45, 9 July 2016 (diff | hist) . . (0) . . Functional Reactive Programming (→Libraries: libraries sorted alphabetically)
- 14:36, 9 July 2016 (diff | hist) . . (+53) . . Functional Reactive Programming (→Libraries: Reflex library was added to the list)