This site is currently broken for new queries. It seems like some bot hit it and we ran out of exa credits.
Enter your personal website to find others like you. Powered by Exa's "find similar". Built on Val Town.
Later, the students discover the truth; their values are really types, and their types are really kinds.
doesn’t need to be built from scratch every time.
It's complex and it's going to get worse.
The concept and usage is the same, whether you want some colour in your prompt or elsewhere.
There's a way to define 'id' and some ways to make it useful.
It already means different things in different syntactic contexts, like function application or type (family) application.
Please try it out and report how it goes!
In Haskell, these types have the following definitions:
How can it be?