Skip to content
GitLab

mono_nat algebra: add dfrac support and notation

Merged Ralf Jung requested to merge ralf/mono_nat into master

This implements the mono_nat algebra part of #412.

Merge request reports