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

--- Day changed Fri Apr 21 2017
chatter29hey guys21/04 02:20
chatter29allah is doing21/04 02:20
chatter29sun is not doing allah is doing21/04 02:20
chatter29to accept Islam say that i bear witness that there is no deity worthy of worship except Allah and Muhammad peace be upon him is his slave and messenger21/04 02:20
arjen-jonathanAnyone here know of any work on separation logic in Agda?21/04 15:19
gallaisNope. And there's nothing listed there either: http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Publications21/04 15:28
arjen-jonathanAh, yeah I should have checked that21/04 15:35
arjen-jonathanThanks21/04 15:35

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