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

--- Day changed Sat Mar 18 2017
lambda-11235Is it possible to assign a type to this expression?18/03 05:40
lambda-11235list a = (m : Level) → (r : Set m) → r → (a → r → r) → r18/03 05:40
glguylambda-11235: No18/03 06:08
glguylambda-11235: See http://wiki.portal.chalmers.se/agda/pmwiki.php?n=ReferenceManual.UniversePolymorphism 18/03 06:09
lambda-11235glguy: Thanks18/03 06:09

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