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