Something went wrong. Try again.
Rhombus type system is incredible
Something went wrong. Try again.
117 B · 4 lines · Created 8mo ago
1234#lang rhombus/static
def x :: converting(fun (x :: Int): x + 1) = 11x // x is 12 here, `converting` will be applied