git @ Cat's Eye Technologies Tamsin / master eg / reverse.tamsin
master

Tree @master (Download .tar.gz)

reverse.tamsin @master — raw · history · blame 

1
2
3
4
5
6
# This example Tamsin program was written by Chris Pressey, and is
# hereby placed in the public domain.  It comes with NO WARRANTY.

main = reverse(pair(a, pair(b, pair(c, nil))), nil).
reverse(pair(H, T), A) = reverse(T, pair(H, A)).
reverse(nil, A) = A.