What is the type of Type? - discu.eu

Lobsters

What is the type of Type? https://avestura.dev/blog/what-is-the-type-of-type 29 comments 7/7/2023 math , plt

Reddit

Type Theory's type universe: What is the type of `Type`? https://www.avestura.dev/blog/what-is-the-type-of-type 4 comments 20/3/2022 math

Linked pages

Idris: A Language for Type-Driven Development http://www.idris-lang.org 258 comments
Welcome! | The Coq Proof Assistant https://coq.inria.fr/ 125 comments

Would you like to stay up to date with Computer science? Checkout Computer science Weekly.

Related searches:

Search whole site: site:avestura.dev

Search title: What is the type of Type?

See how to search.

Submit link to: