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