Repository navigation

v0.3.0

lean-dev released this 13 Sep 08:32

· 18 commits to main since this release

b2c147c

compare changes

📖 Documentation

Fixes in the basic docs. (a82c2ee)
Fix three remaining links. (faef16d)
Remove scaffolded pages. (cb695bf)
Clean-up functions topic. (9c20867)
Add missing empty pages. (5176eb6)

❤️ Contributors

Micha Buchholz (@lean-dev)

Assets 2