Henrik Böving 03ec9c2e1d chore: Cleanup the JSX parser a bit		2021-12-17 15:59:33 +01:00
..
Output	chore: Add an HtmlT if we need more monads later on	2021-12-17 15:59:04 +01:00
Hierarchy.lean	feat: Revamp the hierarchy mechanism	2021-12-13 20:47:52 +01:00
IncludeStr.lean	chore: In file licensing	2021-12-12 13:38:31 +01:00
Load.lean	feat: Some more progress logging	2021-12-15 12:02:05 +01:00
Output.lean	feat: Fix outputs paths	2021-12-15 11:59:13 +01:00
Process.lean	feat: An initial list of declarations and their kinds	2021-12-15 11:59:36 +01:00
ToHtmlFormat.lean	chore: Cleanup the JSX parser a bit	2021-12-17 15:59:33 +01:00