1Have any language servers used the LSP Notebook capabilities? (opens in new tab)(microsoft.github.io)3jmite2y ago1
2Agda 2.5.4 has been released (Dependently typed programming language) (opens in new tab)(hackage.haskell.org)2jmite7y ago0
3LambdaPiPlus: a small language for learning and hacking Dependent Types (opens in new tab)(lambda-pi-plus.github.io)3jmite10y ago1
5“Make the Back-End Team Jealous: Elm in Production” by Richard Feldman (opens in new tab)(youtube.com)3jmite10y ago0
