Skip to content

move algebra.base -> prelude.prelude

Ralf Jung requested to merge ralf/prelude into master

Now that we have iris.prelude, that seems like a better home for algebra.base.

Merge request reports