Source : Free On-Line Dictionary of Computing

Ratatosk
     
        An {SLR parser} generator written in {Gofer} (a {Haskell}
        variant) by Torben AEgidius Mogensen .
        Ratatosk generates {purely functional} {backtracking} {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 function}s.
     
        {(ftp://ftp.diku.dk/pub/diku/dists/Ratatosk.tar.Z)}.