#qi-hardware IRC log for Wednesday, 2014-05-14

whitequarkkyak: wow, this is interesting: http://kframework.org21:16
whitequarkthey even have formal semantics for PHP (!!) http://www.phpsemantics.org/21:16
--- Thu May 15 201400:00

Generated by irclog2html.py 2.9.2 by Marius Gedminas - find it at mg.pov.lt!