Skip to content
Better HN
Top
New
Best
Ask
Show
Jobs
Search
⌘K
Beatrice: A tagless, dependently typed, self-aware programming language
(opens in new tab)
(hirrolot.github.io)
22 points
vg_head
1y ago
2 comments
Share
Beatrice: A tagless, dependently typed, self-aware programming language | Better HN
2 comments
default
newest
oldest
icosahedron
1y ago
It seems the repo is gone. Anyone know what happened to it?
48864w6ui
1y ago
Beatrice is a happier, more felicitous, name
j
/
k
navigate · click thread line to collapse
