#25
Support higher order types.
Support things like:
type WrapInTuple[T] = tuple[T]
type ApplyToElements[T, F] = tuple[*[F[x] for x in Iter[T]]]Activity
2This pull request is a draft
Merging is unavailable until it is marked ready for review.
Support things like:
type WrapInTuple[T] = tuple[T]
type ApplyToElements[T, F] = tuple[*[F[x] for x in Iter[T]]]This pull request is a draft
Merging is unavailable until it is marked ready for review.
Hm... We could probably land this, but I don't think this sort of thing will work in the typechecker.