Henrik Böving b22818b971 feat: render foundational types info		2022-11-22 21:07:59 +01:00
..
Base.lean	fix: Dont linkify unknown names	2022-08-11 23:35:43 +02:00
Class.lean	…
ClassInductive.lean	…
Definition.lean	…
DocString.lean	chore: update toolchain 10-20 (#86)	2022-10-20 19:51:26 +02:00
Find.lean	…
FoundationalTypes.lean	feat: render foundational types info	2022-11-22 21:07:59 +01:00
Index.lean	…
Inductive.lean	feat: render foundational types info	2022-11-22 21:07:59 +01:00
Instance.lean	…
Module.lean	chore: update toolchain 10-20 (#86)	2022-10-20 19:51:26 +02:00
Navbar.lean	feat: render foundational types info	2022-11-22 21:07:59 +01:00
NotFound.lean	…
SourceLinker.lean	chore: toolchain upgrade (#82)	2022-10-05 12:05:58 +02:00
Structure.lean	chore: update toolchain 10-20 (#86)	2022-10-20 19:51:26 +02:00
Template.lean	fix: minor style improvements	2022-11-06 13:53:23 +01:00
ToHtmlFormat.lean	chore: update toolchain 10-20 (#86)	2022-10-20 19:51:26 +02:00
ToJson.lean	chore: toolchain upgrade (#82)	2022-10-05 12:05:58 +02:00