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

--- Day changed Thu May 18 2017
lapinothello18/05 23:35
lapinoti'm trying to get into dependently-typed languages and i quickly checked-out agda and idris (i did some coq in the past, and lets leave that to the past :)).. my question is: the difference between idris and agda seems so tiny, am i missing the point?18/05 23:37
lapinot(i already read the SO question and the reddit thread on idris vs agda but it wasn't really convincing so that made me want to have some more infos about that)18/05 23:41
mieteklapinot: the differences are subtle18/05 23:57
mieteklapinot: do you like Unicode syntax?18/05 23:58

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