Tests U has a syntax for testing. It's currently very limited, but the syntax is flexible enough to be extended. #?{ # Expecting result == 4 add 3, :>: input, result ; result == 4 #} :add :>: v ; v + 1 #?test-with-10 :fn : :>(a) :: a ** 1024