xxmarijnw

Mon Aug 2, 2021 9:03pm PST

Karma:

5

submitted

Mon Mar 31, 2025 5:52pm PST

Show HN: TypeScript as a proof assistant for intuitionistic propositional logic

@xxmarijnw

1

3

17

Thurs Mar 20, 2025 6:58pm PST

Haskell-dev-env – An opinionated pre-built Dev Container for Haskell

@xxmarijnw

2

Mon Aug 2, 2021 9:05pm PST

Show HN: Simple peer-to-peer screen sharing

@xxmarijnw

1

1

3