Beatrice: A tagless, dependently typed, self-aware programming language (opens in new tab)

(hirrolot.github.io)

22 pointsvg_head2y ago2 comments

2 comments

2 comments · 2 top-level

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

Beatrice is a happier, more felicitous, name

j / k navigate · click thread line to collapse