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

--- Day changed Tue May 09 2017
arjen-jonathanHi all; looking for some example usage of indexed containers (from Data.Containers.Indexed) 09/05 12:24
arjen-jonathanOr the Predicate monad (Category.Monad.Predicate)09/05 12:25
arjen-jonathanCan't find any usages on Github09/05 12:25

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