Posts tagged "projects"
- Swarm swarm III (virtual hackathon) - June 12, 2024
- Swarm 0.4 release - August 22, 2023
- Subtracting natural numbers: types and usability - February 7, 2023
- Swarm virtual hackathon - December 12, 2022
- Swarm alpha release! - October 6, 2022
- Types for top-level definitions - August 27, 2022
- Swarm: status report - June 20, 2022
- Swarm: a lot can happen in a week - October 1, 2021
- Swarm: preview and call for collaboration - September 24, 2021
- Types versus sets in math and programming languages - June 24, 2021
- Lightweight invertible enumerations in Haskell - July 5, 2019
- Lightweight, efficiently sampleable enumerations in Haskell - May 14, 2019
- Idea for a physics-based rolling ball puzzle game - March 14, 2019
- A (work in progress) translation of Joyal’s original paper on species - February 13, 2018
- Off the Beaten Track: Explaining Type Errors - January 21, 2018
- MonadRandom 0.5 released - January 3, 2017
- MonadRandom 0.5 and mwc-random: feedback wanted - November 16, 2016
- Diagrams 1.0 - January 17, 2014
- Diagrams 0.6 - December 12, 2012
- Creating documents with embedded diagrams - August 28, 2012
- Diagrams mentoring at Hac Phi - July 9, 2012
- Announcing diagrams 0.5 - March 9, 2012
- Typeclassopedia v2: moving my efforts to the Haskell wiki - November 26, 2011
- Generating plane tilings with diagrams - November 12, 2011
- Announcing diagrams-0.4 - October 23, 2011
- Effective parse tree support for the working semanticist - October 11, 2011
- diagrams repos now mirrored on github! - September 11, 2011
- Unbound now supports "set" binders and GADTs - August 24, 2011
- Good toolchain for writing a user manual? - June 10, 2011
- Bit-rotted text adventure EDSL free to a good home - May 27, 2011
- Tic-tac-toe maps with diagrams - May 18, 2011
- Announcing diagrams preview release - May 17, 2011
- Binders Unbound - March 29, 2011
- Math.OEIS needs a new maintainer - December 4, 2010
- Typed type-level programming: status report - December 3, 2010
- Things I have learned about vector spaces - November 20, 2010
- Typed type-level programming in Haskell, part IV: collapsing types and kinds - August 5, 2010
- diagrams slides - May 22, 2010
- Hac φ 2010! - May 20, 2010
- Math.Combinatorics.Multiset - February 20, 2010
- Collecting attributes - October 28, 2009
- diagrams 0.2.1, and future plans - September 24, 2009
- New 2D text layout library - August 14, 2009
- Hac φ roundup - July 29, 2009
- Introducing Math.Combinatorics.Species! - July 24, 2009
- Diagrams 0.2 release - January 31, 2009
- Data.List.Split - December 21, 2008
- QuickCheck rocks my socks - December 17, 2008
- New Haskell diagrams library - April 30, 2008
- Patch theory, part II: some basics - February 13, 2008
- Patch theory thoughts, part I - February 7, 2008
- Gobby, Haskell, and patch theory - February 4, 2008