lambdapi icon indicating copy to clipboard operation
lambdapi copied to clipboard

Published 20 hours ago • verified publisher icon Deducteam

Extended identifiers

Open gabrielhdt opened this issue 3 years ago • 2 comments

Identifiers may contain $, ? or |, but not /. They may not begin with $ or ?. The identifier | is not valid (since it's the VBAR).

gabrielhdt avatar Jan 19 '22 00:01 gabrielhdt

Very fun things can appear with this signature: type -> type -> type.

amelieled avatar Feb 22 '22 10:02 amelieled

Very fun things can appear with this signature: type -> type -> type.

What do you mean?

gabrielhdt avatar Feb 22 '22 13:02 gabrielhdt