Skip to content

Add and use liftC and liftC2#2

Open
josephcsible wants to merge 1 commit into
Risto-Stevcev:masterfrom
josephcsible:lift
Open

Add and use liftC and liftC2#2
josephcsible wants to merge 1 commit into
Risto-Stevcev:masterfrom
josephcsible:lift

Commits

Commits on Dec 13, 2018