Aliases cannot be applied
Given the sk file
type ident
type bla := ident -> ident
term bli: (b:bla) -> (x:ident) -> bla =
b x
necroing this results in
File "ndam/bla.sk", line 6, characters 6-9:
This argument has type bla, it cannot be applied
Fatal error: Typer.TypeError
Edited by LENGLET Serguei