An SLR parser generATor written in Gofer (a Haskell variant) by Torben AEgidius Mogensen . RATATosk generATes purely functionalbacktracking {LR0 grammar} {parser}s (also in Gofer). Even though the semATic value of a production is a function of the ATtributes of its right-hand side (and thus apparently purely synthesised), inherited ATtributes are easily simulATed by using higher-order functions. .