Skip to content

Add Fractional and AsFractional instance for embed

Simon Friis Vindum requested to merge simonfv/iris:fractional-embed into master

Adds a Fractional and an AsFractional instance for embed.

I wasn't sure what the best location for these instances was. But I guess that iris/bi/embed.v should not depend on anything in lib so I put it in iris/bi/lib/fractional.v.

Merge request reports