Wondered about “of a”. “of a” is a Type. If I want “untyped”, I would remove “of a”. https://en.wikipedia.org/wiki/Type_theory

Wondered about “of a”.
“of a” is a Type. If I want “untyped”, I would remove “of a”.
https://en.wikipedia.org/wiki/Type_theory

Leave a comment

Your email address will not be published. Required fields are marked *


eight + = 15

Leave a Reply