Tag Archives: category theory

Mgu’s and universal properties

Warning, poorly-explained categorical rambling follows… The most general unifier (mgu) of two expressions and is a substitution for which , such that every other substitution for which can be expressed as for some . For example, the most general unifier … Continue reading

Posted in math | Tagged , , , | 9 Comments

Patch theory, part II: some basics

(Previous posts here, and here.) So, let’s talk about patch theory! I should start by saying that I have obviously drawn a lot of ideas and inspiration from darcs, and especially from the wikibook explanation of darcs patch theory, but … Continue reading

Posted in haskell, learning, projects | Tagged , , , , | 6 Comments