HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by whyenot | Hacker News Reader
Parent
Full thread
whyenot
·
not to mention Go, Dart, or Squeak. Python... debatable.
View on HN
reassembled
·
Perhaps Tsoding can live stream porting the Buttplug library to Coq?
https://en.wikipedia.org/wiki/Coq
iKlsR
·
Surprised nobody has mentioned But_Fu_k.
Reply on news.ycombinator.com