Tag Archives: Programming

Links for April 16th

Can your type checking system do this? Reg Braithwaite on the power of OCaml and Haskell’s semantic type-checking systems. Git Magic – Quality git tutorial NixOS: A Purely Functional Linux Distribution c-jump: the computer programming board game

Posted in Links | Tagged , | Leave a comment