An SLR parser generator written in Gofer (a Haskell variant) By TorBen AEgidius Mogensen Benm@diku.dk>. 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. .