Changes between Version 188 and Version 189 of WikiStart
- Timestamp:
- Dec 30, 2014, 2:01:32 AM (10 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
WikiStart
v188 v189 29 29 30 30 === 26th November 2014 === 31 * Tim !McGilchrist.32 * Maun Suang Boey33 * Yutaka Nagashima 31 * Andrew Cowie: Build and deployment tools for taking Haskell applications into production. 32 * Boey Maun Suang: Dense, codense, codensity: an origins story. 33 * Yutaka Nagashima: Isabelle/HOL and all that. 34 34 35