These are Lean translations of Ninety-Nine Haskell Problems (WIP)
Primary LanguageLeanApache License 2.0Apache-2.0