User contributions for Ivankristo
A user with 3 edits. Account created on 29 May 2015.
21 July 2016
- 18:2218:22, 21 July 2016 diff hist +913 ZuriHac2016 Abstract for: Meet Hadrian: a new build system for GHC
29 May 2015
- 10:4110:41, 29 May 2015 diff hist +17 ZuriHac2015/Projects →List of Projects
- 10:0010:00, 29 May 2015 diff hist +182 ZuriHac2015/Projects →List of Projects: Add "Real-time translation tool"