search

math-comp / mcb

Mathematical Components (the Book)
Other
139 stars 25 forks source link

3.4 conversion rule is not the standard one #79

Closed gares closed 5 years ago

gares commented 5 years ago

it is the implemented on, eg the one you would write in a syntax directed system, and not in a declarative one... both are fine to me but it should be clarified

amahboubi commented 5 years ago

Addressed by commit e464623.