GitHub repository: kuba--/ut
Primary language: Go
Created: 2018-06-25T18:09:24Z
Description: Yet Another Efficient Unification Algorithm