Wojciech Nawrocki 98571e6620 doc: explain acronym		2022-08-12 10:28:49 +02:00
..
bin
dev	doc: missing linebreak	2022-07-18 22:31:16 +02:00
examples	doc: explain acronym	2022-08-12 10:28:49 +02:00
images	feat: widget tutorial and general RequestM lifts	2022-08-06 11:54:44 -07:00
latex	chore: prune ancient keywords	2022-08-01 13:32:56 +02:00
make	chore: Nix: fix stage0-from-input	2022-06-27 22:37:02 +02:00
.gitignore
alectryon.css	doc: fix overwide view when using Alectryon	2022-06-23 18:23:28 +02:00
alectryon.js
array.md	doc: add new example	2022-07-09 17:04:08 -07:00
autobound.md
book.toml
bool.md
BoolExpr.lean	refactor: remove some unnecessary antiquotation kind annotations	2022-07-23 17:09:32 +02:00
builtintypes.md
char.md
declarations.md	chore: renamed constant to opaque	2022-07-20 15:35:40 -07:00
decltypes.md
definitions.md
dep.md
deptypes.md
do.md
elaborators.md
enum.md
examples.md
expressions.md	chore: prune ancient keywords	2022-08-01 13:32:56 +02:00
faq.md
flake.lock	chore: update mdBook	2022-08-09 22:19:40 +02:00
flake.nix	chore: Nix: renderLean/renderDir	2022-07-15 18:44:17 +02:00
float.md
fplean.md	chore: add link from Lean 4 manual to FP in Lean	2022-06-09 16:28:54 -07:00
funabst.md
functions.md
highlight.js	chore: rename ac_refl to ac_rfl	2022-08-01 06:53:08 -07:00
implicit.md	chore: prune ancient keywords	2022-08-01 13:32:56 +02:00
inductive.md
int.md
introdef.md
lean3changes.md	chore: fix docs	2022-06-14 17:35:33 -07:00
lexical_structure.md
list.md
macro_overview.md
metaprogramming-arith.lean	refactor: remove some unnecessary antiquotation kind annotations	2022-07-23 17:09:32 +02:00
metaprogramming-arith.md	doc: metaprogramming-arith: deduplicate	2022-05-03 18:38:36 +02:00
mission.md
namespaces.md
nat.md
notation.md	doc: missing word	2022-06-16 10:12:07 +02:00
option.md
organization.md
other_commands.md
perf.md
pygments.css
quickstart.md	doc: add link to short quickstart video	2022-06-06 18:32:11 -07:00
sections.md
setup.md	doc: fix link	2022-08-01 13:03:54 +02:00
simptypes.md
string.md
stringinterp.md
struct.md
SUMMARY.md	chore: move tutorial to examples folder	2022-08-06 11:54:44 -07:00
syntax.md
syntax_example.lean
syntax_example.md
syntax_examples.md
syntax_highlight_in_latex.md	doc: fix minted example	2022-07-23 15:14:44 +02:00
tactics.md
task.md
thunk.md
tour.md
tpil.md
typeclass.md	feat: OfNat instance postprocessor	2022-07-30 08:35:45 -07:00
typeobjs.md
types.md
uint.md
unifhint.md
using_lean.md
whatIsLean.md