Jesse Wright 0055baf73a doc: add links to folder references (#3249) ... This PR adds links to some folder references in the docs, making them easier to navigate. Please advise if these need to be made to be full URIs rather than relative paths in order to work correctly with the doc generation tooling that is in place.		2024-02-05 13:30:48 +00:00
..
bin	chore: update domain	2023-09-20 15:13:27 -07:00
dev	doc: add links to folder references (#3249)	2024-02-05 13:30:48 +00:00
examples	feat: per-function termination hints	2024-01-10 17:27:35 +01:00
images	doc: update quickstart guide to reference vs code setup guide (#2968)	2023-12-12 08:36:27 +00:00
latex	chore: fix more typos in comments	2023-10-08 14:37:34 -07:00
make	fix: broken internal links in the docs (#3216)	2024-01-25 09:56:20 +00:00
monads	chore: fix more typos in comments	2023-10-08 14:37:34 -07: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	doc: Semantic highlighting	2022-10-02 08:37:15 -07:00
book.toml
bool.md
BoolExpr.lean	chore: remove Bootstrap package	2022-09-02 16:39:03 -07:00
builtintypes.md
char.md
declarations.md	doc: mention termination_by and decreasing_by (#3016)	2024-01-10 16:35:19 +00:00
decltypes.md
definitions.md
dep.md
deptypes.md
do.md
elaborators.md
enum.md
examples.md
expressions.md	doc: fix typos (#2160)	2023-03-22 10:01:59 +01:00
faq.md	doc: fix the link to contribution guidelines (#2623)	2023-10-05 12:02:55 +11:00
flake.lock	feat: partial context info (#3159)	2024-01-22 12:34:20 +00:00
flake.nix	feat: partial context info (#3159)	2024-01-22 12:34:20 +00:00
float.md
fplean.md	chore: update domain	2023-09-20 15:13:27 -07:00
funabst.md
functions.md	fix: broken internal links in the docs (#3216)	2024-01-25 09:56:20 +00:00
highlight.js	fix: highlight of deriving instance (#1717)	2022-10-12 14:24:16 -07:00
implicit.md	chore: prune ancient keywords	2022-08-01 13:32:56 +02:00
inductive.md	chore: update domain	2023-09-20 15:13:27 -07:00
int.md
introdef.md
lean3changes.md	chore: expand remark	2023-05-05 12:21:32 -07:00
lexical_structure.md	feat: Rust-style raw string literals (#2929)	2023-12-20 16:53:08 +00:00
list.md
macro_overview.md	doc: fix typos (#2160)	2023-03-22 10:01:59 +01:00
metaprogramming-arith.lean	refactor: remove some unnecessary antiquotation kind annotations	2022-07-23 17:09:32 +02:00
metaprogramming-arith.md	doc: update link target (#3218)	2024-01-26 10:20:22 +00:00
mission.md
namespaces.md
nat.md
notation.md	feat: reduce precedence of unary neg	2022-11-06 18:13:48 -08:00
option.md
organization.md
other_commands.md
perf.md
pygments.css	doc: add documentation on monads (#1505)	2022-09-05 13:33:15 -07:00
quickstart.md	doc: update quickstart guide to reference vs code setup guide (#2968)	2023-12-12 08:36:27 +00:00
sections.md
semantic_highlighting.md	chore: update domain	2023-09-20 15:13:27 -07:00
setup.md	doc: remove nightly and other outdated references (#3027)	2024-01-25 13:53:36 +00:00
simptypes.md
string.md
stringinterp.md
struct.md
SUMMARY.md	doc: remove Nix docs	2023-12-01 08:32:20 +00:00
syntax.md
syntax_example.lean
syntax_example.md
syntax_examples.md
syntax_highlight_in_latex.md	doc: explain how to use custom lexers in the latest minted (#3047)	2023-12-11 09:16:40 +00:00
tactics.md	doc: fix typos (#2160)	2023-03-22 10:01:59 +01:00
task.md
thunk.md
tour.md	fix: broken internal links in the docs (#3216)	2024-01-25 09:56:20 +00:00
tpil.md	chore: update domain	2023-09-20 15:13:27 -07:00
typeclass.md	doc: avoid universe issue in example type class code (#3098)	2023-12-21 16:57:26 +00:00
typeobjs.md
types.md
uint.md
unifhint.md
using_lean.md
whatIsLean.md	fix: broken internal links in the docs (#3216)	2024-01-25 09:56:20 +00:00