/me wishes we had a better story to tell with dependent pattern matching & sequencing computations. My code is rather noisy...PL/HCI nerds please do assemble!
-
-
"views" was Phil. The particular formulation of them with indexed types and "covering functions" was me and James McKinna.
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.