Tony Finch's link log

• 2014-10-21: Noether: programming language design based on preserving and carefully breaking symmetries. (long) (short) (atom) (wayback machine)