Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
1.
▲
Show HN: TypeScript as a proof assistant for intuitionistic propositional logic
(gist.github.com)
17 points
xxmarijnw
a year ago
3 comments
2.
▲
Haskell-dev-env – An opinionated pre-built Dev Container for Haskell
(github.com/marijnvanwezel)
2 points
xxmarijnw
a year ago
discuss