The Nest
Explore
Sign in
ammkrn
printiest
Printiest.lean
0
Code
Changes
Tags
Discussions
CI
main
import Printiest.Tests def main : IO Unit := IO.Prim.getStdout >>= bigSexpr2.pretty.renderStream 80