from Hacker News

A little taste of dependent types

by cercatrova on 12/17/22, 11:16 AM with 0 comments