Sebastian Ullrich ae348cd8e1 doc: more about Lean packages		2021-01-25 17:07:08 -08:00
..
bin
examples/compiler
make
.gitignore
array.md
autobound.md
book.toml
builtintypes.md
char.md
coding_style.md
commit_convention.md
debugging.md
decltypes.md
definitions.md
dep.md
deptypes.md
do.md
enum.md
faq.md
fixing_tests.md
float.md
funabst.md
functions.md
highlight.js
implicit.md
inductive.md
int.md
introdef.md
lean3changes.md
list.md
mdbook.md
namespaces.md
nat.md
option.md
organization.md
sections.md
setup.md	doc: more about Lean packages	2021-01-25 17:07:08 -08:00
simptypes.md
string.md
stringinterp.md
struct.md
SUMMARY.md
syntax.md
syntax_highlight_in_latex.md
tactics.md
task.md
test
thunk.md
tour.md
typeclass.md
typeobjs.md
uint.md
unifhint.md
whatIsLean.md