feat(tutorial1.org): begin introduction to dependent type theory in Lean
fix(tutorial1.org): fix typo
feat(tutorial1): finish first rough draft
fix(tutorial1.org): typos and suggestions
feat(01_The_Language_of_Dependent_Type_Theory.org): rename file
feat(02_Propositions_and_Proofs.org): add rough draft of second chapter
feat(tutoral/03__Quantifiers_and_Equality.org): add first draft of chapter 3
chore(.gitignore): update
feat(minted.sty): add latest version of minted.sty file
feat(elisp/org-pdf-export.el): elisp for pdf-export
feat(Makefile): add pdf generation in Makefile
fix(basics.org): use 'text' language for unspecified code blocks
fix(basics.org): match quotation marks
feat(basics.org): add LaTeX header/footer
feat(tutorial1.org): add LaTeX header/footer
fix(elisp/org-batch.el): evaluate elisp without confirmation
feat(Crypto101.bib): add bib file
feat(Header.tex): add LaTeX header
ck
ck