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: Mar 25 2026 at 02:29 UTC