Skip to content
Snippets Groups Projects
Forked from Iris / Iris
8301 commits behind the upstream repository.
user avatar
Filip Sieczkowski authored
carrier of the monoid. This now corresponds exactly to the formulation
of monoids in rose.v
5517602d
History