edwardgeorge/unification-fd
Generic functions for single-sorted first-order structural unification
Stars: 0Language: Haskell
Give AlbumentationsX a star on GitHub — it powers this leaderboard
Star on GitHubGeneric functions for single-sorted first-order structural unification