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
/
HLists.check
blob: 53efe30d74e0aab6aa9c19248c9ac38ac5b28ffc (
plain
) (
tree
)
1d124e945
^
1
2
3
4
5
6
7
8
1 A true true HCons(1,HCons(A,HCons(true,HNil))) 1 A true