Skip to content

Instantly share code, notes, and snippets.

@cakemanny
cakemanny / Unifier.hs
Created August 10, 2017 21:55
Unification Algorithm in Haskell
module Main where
import Data.List (intersperse)
type Name = String
type Equations = [(Expr,Expr)]
data Expr
= Func Name [Expr] -- if [Expr] is [], then it's a constant
| Var Name