Noether: Symmetry in Programming Language Design (2014) [pdf]github.com/noether-lang1 pointxavxav4 years ago