--- Day changed Thu Feb 08 2018
apostolisAre there examples of coinduction and instance arguments? Is it possible?08/02 23:15
pgiarrussoapostolis: what combination do you want? do you want Agda to synthesize productive corecursive instance arguments?08/02 23:46
pgiarrussobecause that sounds cool, possibly sensible (not sure) but I’ve never seen it08/02 23:46
pgiarrusso(I wouldn’t know the actual answer though, either way)08/02 23:47

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