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