Beatrice: A tagless, dependently typed, self-aware programming language (hirrolot.github.io) 22 points by vg_head 2y ago ↗ HN
25 comments
[ 3.4 ms ] story [ 20.7 ms ] thread