Closed uncomputable closed 4 months ago
(Nested) pairs of take, drop and iden always type-check. Add a builder for these pairs.
(Nested) pairs of take, drop and iden always type-check. Add a builder for these pairs.