Beatrice: A tagless, dependently typed, self-aware programming language

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

Beatrice is a happier, more felicitous, name