User talk:106.69.211.228

Welcome!
Hello! I noticed your contributions to Type theory&#32;and wanted to welcome you to the Wikipedia community. I hope you like it here and decide to stay. You are welcome to edit anonymously; however, creating an account is free and has several benefits (for example, the ability to create pages, upload media and edit without one's IP address being visible to the public).

As you get started, you may find this short tutorial helpful:

Alternatively, the contributing to Wikipedia page covers the same topics.

If you have any questions, we have a friendly space where experienced editors can help you here:

If you are not sure where to help out, you can find a task here:

Happy editing! CoderThomasB (talk) 01:03, 3 May 2023 (UTC)