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: Apr 14 2026 at 09:21 UTC