xfer

POSTS

• You could have invented zippers

  by xfer on 5/2/2021, 7:54 AM with 0 comments

• Quadplay Fantasy Console by CasualEffects

  by xfer on 3/17/2021, 5:15 PM with 0 comments

• Swish: SWI Prolog Notebook

  by xfer on 10/29/2019, 1:36 PM with 53 comments

• Unison Language

  by xfer on 10/12/2019, 4:41 PM with 0 comments

• A tutorial implementation of a dependently typed lambda calculus [pdf]

  by xfer on 9/26/2019, 12:29 PM with 0 comments

• Teensy 4.0

  by xfer on 8/9/2019, 12:33 PM with 0 comments

• Semantics by GitHub on “Why Haskell”

  by xfer on 6/4/2019, 7:30 PM with 0 comments

• Shadron – shader-based procedural graphics editor

  by xfer on 12/15/2018, 8:56 PM with 0 comments

• What's new in purely functional data structures since Okasaki?

  by xfer on 11/3/2017, 1:56 PM with 0 comments

• Four Solutions to a trivial problem, Guy Steele (2015)

  by xfer on 10/19/2017, 9:39 AM with 0 comments

• 24 Days of GHC Extensions(2014)

  by xfer on 9/19/2017, 9:23 PM with 0 comments

• The Mezzo programming Language (2013)

  by xfer on 8/2/2017, 1:23 AM with 0 comments