Beatrice: A tagless, dependently typed, self-aware programming languagehirrolot.github.io 22 pointsvg_head2 years ago2 commentsSaveHideCopy link On HNComments−icosahedron2yIt seems the repo is gone. Anyone know what happened to it?−48864w6ui2yBeatrice is a happier, more felicitous, name
Comments
It seems the repo is gone. Anyone know what happened to it?
Beatrice is a happier, more felicitous, name