HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by xiaodai | Hacker News Reader
Parent
Full thread
xiaodai
·
what's an example of said language?
View on HN
joaogui1
·
Idris, some Haskell extension, and Agda
Reply on news.ycombinator.com