Stream: Beginner Questions

Topic: ✔ meaning of [type, type] in Pure metalogic?

Notification Bot (Mar 17 2026 at 11:13):

Adam Dingle has marked this topic as resolved.

Last updated: Jun 06 2026 at 17:17 UTC