wrhn
Comment

Comment by danghica

Indeed. Agda and Coq are excellent examples.
parent danghica 11 years ago

No comments yet

Be the first to share your thoughts.

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton