User contributions
Jump to navigation
Jump to search
- 15:06, 21 January 2022 diff hist +33 Jobs Add Tweag current
- 07:12, 31 May 2015 diff hist +491 ZuriHac2015 →Mathieu Boespflug: abstract
- 13:56, 29 May 2015 diff hist +66 ZuriHac2015/Projects/cloud-haskell current
- 13:54, 29 May 2015 diff hist +469 N ZuriHac2015/Projects/cloud-haskell Created page with ""Easy" tasks, for newcomers: https://cloud-haskell.atlassian.net/browse/DP-97 https://cloud-haskell.atlassian.net/browse/DP-2 https://cloud-haskell.atlassian.net/browse/DP-11..."
- 13:52, 29 May 2015 diff hist +19 ZuriHac2015/Projects →List of Projects
- 08:55, 29 May 2015 diff hist +110 ZuriHac2015/Projects →List of Projects
- 08:37, 14 October 2014 diff hist +140 Consultants Link to Tweag I/O.
- 14:26, 6 April 2010 diff hist +234 Applications and libraries/Theorem provers Add link to Dedukti