4 Commits (main)

Author	SHA1	Message	Date
Henrik Böving	f74443a673	style: Lean 4 compiler style in output	2023-01-01 19:51:01 +01:00
Seppel3210	03e6572584	fix: mention (a : α) → β a notation in foundational types section	2022-12-23 13:28:57 +01:00
Henrik Böving	72034b0831	feat: linkify builtin types	2022-11-22 21:07:59 +01:00
Henrik Böving	b22818b971	feat: render foundational types info	2022-11-22 21:07:59 +01:00