top | new | best | ask | show | jobs

top | item 10319980

(no title)

danghica | 10 years ago

Indeed. Agda and Coq are excellent examples.

discuss

order

No comments yet.

powered by hn/api // news.ycombinator.com