[Home] [prev] [up] [next] ((src/species.as))
Here we demonstrate the implementation of combinatorial species as they are defined in [BLL98] via categories and domains.