index
:
dotty
DarkDimius-patch-1
gh-pages
master
Research platform for new language concepts and compiler technologies for Scala.
about
summary
refs
log
blame
commit
diff
log msg
author
committer
range
path:
root
/
tests
/
run
/
enum-Tree.check
blob: 02f5151bec97c49366c8d4be892231200c9f6da5 (
plain
) (
tree
)
d3b2c37b9
^
1
If(IsZero(Pred(Succ(Zero))),Succ(Succ(Zero)),Pred(Pred(Zero))) --> 2