Tip.Passes

Running passes in the Fresh monad

Simplifications

data SimplifyOpts a

negateConjecture

Boolean builtins

theoryBoolOpToIf

Match expressions

Duplicated functions

Lambda and let lifting

axiomatizeLambdas

Building pass pipelines

data StandardPass

class Pass p

data Choice a b