H hirrolot.github.io Beatrice: A tagless, dependently typed, self-aware programming language 22 points vg_head 2 years ago 2 comments
