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

--- Day changed Mon Feb 19 2018
subttleif I have `just 1` and `just 2` how can I apply (+) to them... I know in Haskell it's just `pure (+) <*> Just 1 <*> Just 2`, is there similar syntax for Agda (preferably using agda-stdlib)? Thanks in advance.19/02 23:52

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