@jonsterling @dibblego you could have an indexed pure though.
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@jonsterling@dibblego well, depending in the type you have in mind, you could write pure for the index exprThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@jonsterling@dibblego eg one way could be inspired from this http://bit.ly/1b431TvThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@jonsterling@dibblego indeed. You’d be doing it at a concrete gamma. If gamma was effects, pure might use unitThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@jonsterling@dibblego well, in general idk what you’re talking about. Any counter examples?Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@jonsterling@dibblego for the latter, sounds like you’d need to be in a dependently typed setting for that to be sane.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
This Tweet is unavailable.
-
@pigworker@jonsterling@dibblego I’m curious too
End of conversation
-
-
-
@jonsterling@dibblego idris hackery?Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.