Skip to content

fixing overly-specific constraints

Athan Clark requested to merge athan.clark/Shpadoinkle:constraints into master

This MR fixes some overly-specific usage of constraints throughout core (and the terms generated in html). Specifically, the monoid instance for Props should only require an Applicative constraint. There is also a bit of re-use implemented in the Continuations module, where use of the kleisli term could be better utilized.

Merge request reports