WingNews GitHub [2]

jmite's submissions

Have any language servers used the LSP Notebook capabilities? (microsoft.github.io)

3 pts| 2 years ago | 1 comment

Agda 2.5.4 has been released (Dependently typed programming language) (hackage.haskell.org)

2 pts| 7 years ago | discuss

LambdaPiPlus: a small language for learning and hacking Dependent Types (lambda-pi-plus.github.io)

3 pts| 10 years ago | 1 comment

How to Create Tetris in Elm [video] (youtube.com)

5 pts| 10 years ago | discuss

“Make the Back-End Team Jealous: Elm in Production” by Richard Feldman (youtube.com)

3 pts| 10 years ago | discuss

page 1