Changed reduction to mirror behaviour of native Rocq encodings#64

fblanqui merged 6 commits into

Deducteam:masterDeducteam/lambdapi-stdlib:masterfrom

melanie-taprogge:rocq-compatible-versionmelanie-taprogge/lambdapi-stdlib:rocq-compatible-versionCopy head branch name to clipboard