| user: | jmite |
| created: | December 10, 2014 |
| karma: | 55 |
| 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. |