Understory❀

Explorer

Bidirectional typing

🌱Planted 17 May 2026 🌿Tended 17 May 2026

Linked from

Type Systems as Macros

Graph

Built with Understory