HN Explorer

jmite

↗ HN profile [ 100 ms ] full profile
Karma
55
Created
December 10, 2014 (11y ago)
Submissions
0
  1. Have any language servers used the LSP Notebook capabilities? (microsoft.github.io)
    3 points 1
  2. Agda 2.5.4 has been released (Dependently typed programming language) (hackage.haskell.org)
    2 points 0
  3. LambdaPiPlus: a small language for learning and hacking Dependent Types (lambda-pi-plus.github.io)
    3 points 1
  4. How to Create Tetris in Elm [video] (youtube.com)
    5 points 0
  5. “Make the Back-End Team Jealous: Elm in Production” by Richard Feldman (youtube.com)
    3 points 0