Skip to content

Fixed type pretty-printing in Levy#34

Open
mbneedham wants to merge 1 commit intoandrejbauer:masterfrom
mbneedham:master
Open

Fixed type pretty-printing in Levy#34
mbneedham wants to merge 1 commit intoandrejbauer:masterfrom
mbneedham:master

Commits

Commits on Jul 12, 2023