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
main = reverse(pair(a, pair(b, pair(c, nil))), nil).
reverse(pair(H, T), A) = reverse(T, pair(H, A)).
reverse(nil, A) = A.