[00:07:07] yes, even though all reviewers ignored the fact and only talked about gf abstract syntax [00:08:52] i would be really curious who were the reviewers [03:26:23] *** Quits: daherb (~daherb@dslb-002-206-251-072.002.206.pools.vodafone-ip.de) (Ping timeout: 260 seconds) [04:47:44] *** Joins: daherb (~daherb@dialin-145-254-041-017.pools.arcor-ip.net) [06:06:29] *** Joins: drbean (~drbean@TC210-63-209-70.static.apol.com.tw) [07:20:05] *** Quits: drbean (~drbean@TC210-63-209-70.static.apol.com.tw) (Ping timeout: 240 seconds) [08:13:21] probably language technology people and not agda people