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