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
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