add link to reddit
authorRalf Jung <post@ralfj.de>
Wed, 7 Jun 2017 03:42:06 +0000 (20:42 -0700)
committerRalf Jung <post@ralfj.de>
Wed, 7 Jun 2017 03:42:06 +0000 (20:42 -0700)
commitaee9ae44caeab516d361c144e0252d023ca3d586
treec620db9cdf3d9bb81a70ee61b74914c4d337dde0
parentc0715e25b81d8b9f69560e4cf1844d8772030486
add link to reddit
ralf/_posts/2017-06-06-MIR-semantics.md