index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tests
/
capture.ur
blob: 0eb3d8b50ef056dbb613bbd52f2e15baac979630 (
plain
)
1
2
3
4
val y = [] type foo = int val z : list {F : foo} = y