from Hacker News

cercatrova

joined 7/15/16, 6:39 PM has 7810 karma

• A little taste of dependent types

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