guerrilla/precept — Issue #4: Infer implicit arguments if omitted
Author: guerrilla
Created: 2011-12-26 20:34:41+00:00
State: open
Labels: Release

id (x : A) {
return (x);
}

Assuming `a : A`, the function invocation `id(a)` should elaborate to `((id A) a)`