/fad

lean code

Primary LanguageLean

Functional Algorithms Design

This repo will contain the implementation in Lean of the Haskell codes from Algorithm Design with Haskell

It may also contains more ideas!