Comment on Beatrice: A tagless, dependently typed, self-aware programming languageComments−icosahedron2yIt seems the repo is gone. Anyone know what happened to it?
Comments
It seems the repo is gone. Anyone know what happened to it?