from Hacker News

Beatrice: A tagless, dependently typed, self-aware programming language

by vg_head on 4/22/24, 9:29 PM with 2 comments

• by icosahedron on 4/24/24, 11:25 PM

  It seems the repo is gone. Anyone know what happened to it?

• by 48864w6ui on 4/22/24, 10:13 PM

  Beatrice is a happier, more felicitous, name