Show HN: Containers for Lean 4 (polynomial functors, with M-types)

Lean 4containerstype theory

Discussion (0 comments)

No comments available in our database yet.

Comments are synced periodically from Hacker News.

HN ID: 45256887

Mood: calm

Briefings

Inbox recaps on the loudest debates & under-the-radar launches.

Connect

Not affiliated with Hacker News or Y Combinator. We simply enrich the public API with analytics.