shen Examples and Free Source Code - EXAMPLE-A

Shen tutorial example for typed function does not compile...

Is it possible to do dependent types in Shen?...

types lisp dependent-type shen

Shen and curried S-expressions...