HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by willtim | Hacker News Reader
Parent
Full thread
willtim
·
You had better stick with Agda or Coq then ;)
View on HN
catnaroek
·
Nah, Standard ML will do just fine.
Reply on news.ycombinator.com