Beatrice: A tagless, dependently typed, self-aware programming language (hirrolot.github.io)

[flagged]

[dead]

[dead]

[dead]

[flagged]

[dead]

[dead]

[dead]

[dead]

[dead]

[dead]

[dead]

[dead]

[dead]

[dead]

[dead]

[dead]

[dead]

[dead]

[flagged]

[flagged]

[flagged]

[flagged]

Beatrice is a happier, more felicitous, name

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