Hacker News new | ask | show | jobs
user: jmite
created: 2014-12-10
karma: 55

submissions:

0 points | 0 comments
Have any language servers used the LSP Notebook capabilities?
3 points | 1 comments
Agda 2.5.4 has been released (Dependently typed programming language)
2 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
LambdaPiPlus: a small language for learning and hacking Dependent Types
3 points | 1 comments
How to Create Tetris in Elm [video]
5 points | 0 comments
0 points | 0 comments
0 points | 0 comments
“Make the Back-End Team Jealous: Elm in Production” by Richard Feldman
3 points | 0 comments
0 points | 0 comments
0 points | 0 comments