Top
New
Best
Ask
Show
Jobs

Ada's dependent types, and its types as a whole

256 points nytpu 1 year ago 139 comments

Discussion

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton