Top New Best Ask Show Jobs

xfer

1,138 karma · joined April 28, 2017

submissions comments

You could have invented zippers

blog.ezyang.com·1 pts·xfer·

Quadplay Fantasy Console by CasualEffects

github.com·1 pts·xfer·

Swish: SWI Prolog Notebook

swish.swi-prolog.org·147 pts·xfer·

Unison Language

unisonweb.org·1 pts·xfer·

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

andres-loeh.de·2 pts·xfer·

Teensy 4.0

pjrc.com·2 pts·xfer·

Semantics by GitHub on “Why Haskell”

github.com·3 pts·xfer·

Shadron – shader-based procedural graphics editor

arteryengine.com·4 pts·xfer·

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

cstheory.stackexchange.com·2 pts·xfer·

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

youtube.com·2 pts·xfer·

24 Days of GHC Extensions(2014)

ocharles.org.uk·1 pts·xfer·

The Mezzo programming Language (2013)

protz.github.io·1 pts·xfer·