Add object `reducible` for reducible syntax#985

Merged

fthomas merged 1 commit intotypelevel:masterfrom markus1189:reducible-syntax

Apr 17, 2016

+2-1

Commits on Apr 17, 2016

Add object reducible for reducible syntax
markus1189
committed