absolutely love his level documentation for such a niche project. Also love FGHC on a theoretical level but I've never had anything to use it for that Prolog wasn't a better choice from a library perspective.