| .. |
|
Context.lagda
|
06ab82bbb7
[ #1753 ] Renamed lib-succeed to LibSucceed.
|
%!s(int64=9) %!d(string=hai) anos |
|
EilenbergMooreAlgebra.lagda
|
fa09a8fe74
[ re #4908 ] add explicit --sized-types flag to test suite
|
%!s(int64=3) %!d(string=hai) anos |
|
Examples.lagda
|
d281edeac8
Re #854: updated test case to latest std-lib
|
%!s(int64=3) %!d(string=hai) anos |
|
Run.lagda
|
d281edeac8
Re #854: updated test case to latest std-lib
|
%!s(int64=3) %!d(string=hai) anos |
|
RunCompat.lagda
|
d281edeac8
Re #854: updated test case to latest std-lib
|
%!s(int64=3) %!d(string=hai) anos |
|
Terms.lagda
|
06ab82bbb7
[ #1753 ] Renamed lib-succeed to LibSucceed.
|
%!s(int64=9) %!d(string=hai) anos |
|
Types.lagda
|
06ab82bbb7
[ #1753 ] Renamed lib-succeed to LibSucceed.
|
%!s(int64=9) %!d(string=hai) anos |
|
TypesSemantics.lagda
|
d281edeac8
Re #854: updated test case to latest std-lib
|
%!s(int64=3) %!d(string=hai) anos |
|
WellTyped.lagda
|
1cc377b2d9
Updated to v1.0 of the standard library
|
%!s(int64=5) %!d(string=hai) anos |
|
WellTypedSemantics.lagda
|
fa09a8fe74
[ re #4908 ] add explicit --sized-types flag to test suite
|
%!s(int64=3) %!d(string=hai) anos |
Andreas Abel
d281edeac8
Re #854: updated test case to latest std-lib