8th Week
Postponed casts and unification
Last week, I continued reading about pattern unification and tried to figure things out by reading Andras' code for “Observing definitional equality”. I am slowly trying to integrate it to my code, but for now this is clearly at an early stage, and I am a bit struggling to figure things out from Andras’ code as there is a lot going on there, with a lot of features implemented all at once. I will continue working on this more thoroughly this week.