Next: , Previous: , Up: Top   [Contents][Index]


1 Overview of the package

Vicare’s expander implements an extension to the language defined by R6RS that allows the definition of typed syntactic bindings. Type annotations are optional: we are free to specify them or leave the type of variables unspecified.