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