Type Challenges Judge
Problems
Progress
MinusOne
Given a number (always positive) as a type. Your type should return the number decreased by one.
For example:
type Zero = MinusOne<1> // 0 type FiftyFour = MinusOne<55> // 54