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