Cross Reference: EmptyLambda.hascasl.output
xref
: /
hets
/
HasCASL
/
test
/
EmptyLambda.hascasl.output
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
EmptyLambda.hascasl.output revision bf0a12ff587940621f70ef590176d498ff4c7847
. (\ . ()) ();
. (\ . ()) ()
### Hint 1.4-1.6,
in type of '\ . ()'
typename 'Unit'
is not unifiable with type 'Unit ->? Unit'