 ulfn
|
d1767a689f
parameterised modules prototype
|
%!s(int64=19) %!d(string=hai) anos |
|
ulfn
|
b91b3a8b4f
application and typed lambdas
|
%!s(int64=19) %!d(string=hai) anos |
|
ulfn
|
db44a6fd77
reimplementation of occurs check
|
%!s(int64=19) %!d(string=hai) anos |
|
ulfn
|
860d61fcc0
type checking skeleton with hooks to main
|
%!s(int64=19) %!d(string=hai) anos |
|
ulfn
|
7a6398f213
separated context and signature
|
%!s(int64=19) %!d(string=hai) anos |
|
ulfn
|
bb324ff127
split Syntax.Internal into a million different modules
|
%!s(int64=19) %!d(string=hai) anos |
|
ulfn
|
239c40cbc5
some notes
|
%!s(int64=19) %!d(string=hai) anos |
