Top
New
Best
Ask
Show
Jobs

Comment

Comment by The_rationalist

Thanks! And what about agda and Idris?

parent The_rationalist 6 years ago

Discussion

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton