index
:
sylt
automatic-link
break-continue
colors
main
min-const-generics
move-tests
namespaces
one-call-to-print
pop_twice-move
sections
selectively-drop-upvalues
single-tuples
unsafe
Game jam language
git
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
progs
/
tests
/
simple.sy
blob: 42b9ac20c3c482e6ea494ec08932756e13dcd6bf (
plain
) (
blame
)
1
2
3
4
5
6
7
a :: 1 a <=> 1 b := 2 { a <=> 1 b <=> 2 }
