jmite

Recent Submissions

1. 1. ▲ Have any language servers used the LSP Notebook capabilities? (microsoft.github.io) 3 points · 2 years ago · 1 comment
2. 2. ▲ Agda 2.5.4 has been released (Dependently typed programming language) (hackage.haskell.org) 2 points · 7 years ago · 0 comments
3. 3. ▲ LambdaPiPlus: a small language for learning and hacking Dependent Types (lambda-pi-plus.github.io) 3 points · 10 years ago · 1 comment
4. 4. ▲ How to Create Tetris in Elm [video] (youtube.com) 5 points · 10 years ago · 0 comments
5. 5. ▲ “Make the Back-End Team Jealous: Elm in Production” by Richard Feldman (youtube.com) 3 points · 10 years ago · 0 comments