Understory❀

Explorer

Bidirectional typing

🌱Planted 17 May 2024 🌿Tended 18 May 2026

Linked from

Type Systems as Macros

Graph

Built with Understory