--- Day changed Wed Dec 20 2017
mckeankylejin the agda docs on codata it says using using the delay constructor is deprecated but I cant figure out how to define a colist using the coinductive keyword because the coinductive keywork only works on records is there a way to encode colists without the delay constructor 20/12 14:57

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