Hacker News new | ask | show | jobs
Beatrice: A tagless, dependently typed, self-aware programming language (hirrolot.github.io)
22 points by vg_head 783 days ago
2 comments
icosahedron 781 days ago
It seems the repo is gone. Anyone know what happened to it?
link
48864w6ui 783 days ago
Beatrice is a happier, more felicitous, name
link