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