Skip to content

mono_nat algebra: add dfrac support and notation

Ralf Jungrequested to merge
ralf/mono_nat into master

This implements the mono_nat algebra part of #412.

Merge request reports