Skip to content

Commit

Permalink
fix md-gen typo
Browse files Browse the repository at this point in the history
  • Loading branch information
Seasawher committed Mar 25, 2024
1 parent af29ca8 commit 9ab6c37
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ These are Lean translations of [Ninety-Nine Haskell Problems](https://wiki.haske
All contributions are wellcome! This repository uses external libraries as follows:

* Generate HTML from `.md` files using [mdbook](https://github.com/rust-lang/mdBook).
* Generate `.md` files from `.lean` files in the `build` directory using [md-gen](https://github.com/Seasawher/mdgen).
* Generate `.md` files from `.lean` files in the `build` directory using [mdgen](https://github.com/Seasawher/mdgen).
* The Lean files in the `Src` folder contain the answers to the questions. The answers are deleted using the [mk-exercise](https://github.com/Seasawher/mk-exercise) and output to the `build` folder.
* [import-all](https://github.com/Seasawher/import-all) is used to generate import statements automatically. This is also used in CI.

Expand Down

0 comments on commit 9ab6c37

Please sign in to comment.