Alex J. Best
|
074c783259
|
feat: html escape docstrings
|
2023-10-16 20:42:29 +02:00 |
Henrik Böving
|
f74443a673
|
style: Lean 4 compiler style in output
|
2023-01-01 19:51:01 +01:00 |
Mario Carneiro
|
9aef28b16e
|
chore: update toolchain 10-20 (#86)
|
2022-10-20 19:51:26 +02:00 |
|
Henrik Böving
|
64f627a295
|
chore: toolchain upgrade (#82)
Halleluja!
|
2022-10-05 12:05:58 +02:00 |
|
Henrik Böving
|
ed4cee2eae
|
chore: style, change $ to <|
|
2022-07-23 13:01:25 +02:00 |
|
Henrik Böving
|
351cbc56b6
|
chore: update lean nightly
|
2022-07-04 09:11:10 +02:00 |
|
Henrik Böving
|
5b56be76f2
|
chore: Cleanup HTML syntax and pretty printing
|
2022-06-21 20:54:29 +02:00 |
|
Henrik Böving
|
9f50966339
|
feat: initial LeanInk HTML generation
|
2022-06-20 18:39:55 +02:00 |
|
Henrik Böving
|
279df92555
|
refactor: restructure the modules
|
2022-05-19 20:41:07 +02:00 |