Skip to content

Use multisuccess of typeclasses eauto to get rid of n parameter in FindInContext

Michael Sammler requested to merge time/find_in_context_without_nat into master

Merge request reports