genspio

Typed EDSL to generate POSIX Shell scripts