Re: Optional arguments, assertions, type annotations

["Thomas Link" <t.link.tmp200101@gmx.net>]

> Could you send us a link to your package?  I'd like to take a look at
> it.

Well, there are some rough edges in there but if you're interested, a 
very preliminary version can be downloaded from 
http://members.a1.net/t.link/define-a.html

But be warned, my approach is naive and not really useful yet.

Also thanks to Robert Bruce Findler for the link to his papers.

And thanks to Paul Graunke for his hint to opt-lambda. Let's see what 
can be done with this.

Cheers,
Thomas.