Comment on Beatrice: A tagless, dependently typed, self-aware programming languageComments−48864w6ui2yBeatrice is a happier, more felicitous, name
Comments
Beatrice is a happier, more felicitous, name