Interesting challenge: define a dependent list type where, for each cons cell, the type of its head depends on its tail.
@pelotom Eek! Sorry about that. Please report this if it's reproducible and we'll take a look!
-
-
@pelotom thanks, will try to take a closer look soon - 2 more replies
New conversation
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.