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