Raw materials used in "How to Specify it!", John Hughes, Trends in Functional Programming 2019.
Primary LanguageHaskellMIT LicenseMIT