Name		Name	Last commit message	Last commit date
AoC		AoC
Fad		Fad
data		data
.gitignore		.gitignore
AoC.lean		AoC.lean
Fad.lean		Fad.lean
Main.lean		Main.lean
README.md		README.md
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain

Repository files navigation

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!

About

lean code

Custom properties

9 stars

14 watching

Report repository

Releases

Packages

Contributors

Languages