/home/laney/.irssi/irclogs/Freenode/#agda.log-20170827

--- Log closed Sat Aug 26 07:14:08 2017
--- Log opened Sat Aug 26 20:07:41 2017
-!- Irssi: #agda: Total of 111 nicks [0 ops, 0 halfops, 0 voices, 111 normal]26/08 20:07
-!- Irssi: Join to #agda was synced in 114 secs26/08 20:09
comietekWilliamHamilton: i would suggest formalising Assumption/Hypothesis as a separate datatype26/08 20:43
comieteksee my code for examples26/08 20:44
WilliamHamiltonthanks comietek I'll take a look again at your files tomorrow, now I gotta go afk26/08 21:32
WilliamHamilton(thanks for the agda help before)26/08 21:32
mietekactually, I should’ve referred them to the chapter on OPEs in Chapman’s thesis26/08 22:15
mietek4.5 in https://jmchapman.github.io/papers/thesis.pdf26/08 22:15

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