polynomial rings as cubical set
Merge pull request #2 from marcbezem/master

polynomial rings as cubical set