I seem to be reaching the point of language implementation where I start terrifying the unification algorithm. This is a good point to reach.
-
Show this thread
-
-
Replying to @haskellhutt
That seems reasonable. This is my current status. I'm not sure I have enough coffee for this.pic.twitter.com/AbXYSftdPb
2 replies 0 retweets 10 likes -
Replying to @edwinbrady @haskellhutt
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 …)?
1 reply 0 retweets 3 likes
Replying to @clayrat @haskellhutt
I haven't read it very closely yet, but the architecture it describes certainly seems desirable
4:52 AM - 27 Jun 2018
0 replies
0 retweets
1 like
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.