Is that binding for variables in pattern matched terms?
-
-
-
Yes. Nameless everywhere, with types to help me not mess up…
End of conversation
New conversation -
-
-
oh…does that include a total parser…
-
Yes (But… a slow one, because of an erasure problem I haven’t yet resolved.)
- 1 more reply
New conversation -
-
-
Looks great, but the question that comes to mind is : who's Olwen, the other parent ? Perhaps we'll know later !
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
YES! Finally that day is coming!
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
This would be especially awesome if the source file extensions were lidr
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.