jmite's submissions | Hacker News

1.		Have any language servers used the LSP Notebook capabilities? (microsoft.github.io)
		3 points by jmite on Sept 12, 2023 \| past \| 1 comment
2.		Agda 2.5.4 has been released (Dependently typed programming language) (haskell.org)
		2 points by jmite on June 5, 2018 \| past
3.		LambdaPiPlus: a small language for learning and hacking Dependent Types (lambda-pi-plus.github.io)
		3 points by jmite on March 22, 2016 \| past \| 1 comment
4.		How to Create Tetris in Elm [video] (youtube.com)
		5 points by jmite on Feb 12, 2016 \| past
5.		“Make the Back-End Team Jealous: Elm in Production” by Richard Feldman (youtube.com)
		3 points by jmite on Sept 30, 2015 \| past