alt
Hacker News
pabs3
•
yesterday at 2:49 AM
•
0 replies
•
view on HN
Maybe something with dependent typing like Idris2 or a future Haskell release?
alt Hacker News