I seem to be reaching the point of language implementation where I start terrifying the unification algorithm. This is a good point to reach.
-
-
What do you think about Cockx, "Dependent pattern matching and proof-relevant unification" (https://lirias.kuleuven.be/bitstream/123456789/583556/1/thesis-final-digital.pdf …)?
-
I haven't read it very closely yet, but the architecture it describes certainly seems desirable
End of conversation
New conversation -
-
-
Searches for the paper... aha! http://www.cse.chalmers.se/~abela/unif-sigma-long.pdf …
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.