-
Julien Lopez authored
function so it's not working for now) [TESTS][LAMBDA] Add chars (shows it should be easy to use the '<uident> syntax for type variables in CDuce)
7655fee1
function so it's not working for now) [TESTS][LAMBDA] Add chars (shows it should be easy to use the '<uident> syntax for type variables in CDuce)