Add Ch.Overview - Githubissues

leanprover-community / lean4-metaprogramming-book

https://leanprover-community.github.io/lean4-metaprogramming-book/

Apache License 2.0

204 stars 47 forks source link

Add Ch.Overview #99

Closed lakesare closed 1 year ago

lakesare commented 1 year ago

In this PR

Ch.Introduction

Added a comment that we now have exercises & solutions for each chapter
Added a paragraph on how python/ruby metaprogramming differs from what we mean by lean metaprogramming
Moved "Printing Messages" and "partial functions" paragraphs to the new Ch.Overview

Ch.Overview

A new chapter

Links to the latest versions of updated files