| .. |
|
InstanceArguments
|
e129903247
[ re #4908 ] Add explicit --guardedness flags to test cases
|
3 年 前 |
|
Issue784
|
2f212bf556
Add --auto-inline and make it off by default
|
4 年 前 |
|
Issue846
|
2f212bf556
Add --auto-inline and make it off by default
|
4 年 前 |
|
Issue854
|
d281edeac8
Re #854: updated test case to latest std-lib
|
3 年 前 |
|
Termination
|
ec3e855918
[ std-lib ] Updated submodule commit and some test cases.
|
6 年 前 |
|
CoInf.agda
|
0fc6b558b0
[ re #5386 ] Address two comments by @nad
|
3 年 前 |
|
Issue1382.agda
|
1cc377b2d9
Updated to v1.0 of the standard library
|
5 年 前 |
|
Issue421.agda
|
6c86770f81
Updated to standard library version 1.4
|
4 年 前 |
|
Issue784.agda
|
c98e6d0d7c
Merge agda-maint
|
9 年 前 |
|
Issue846.agda
|
06ab82bbb7
[ #1753 ] Renamed lib-succeed to LibSucceed.
|
9 年 前 |
|
Issue854.lagda
|
d281edeac8
Re #854: updated test case to latest std-lib
|
3 年 前 |
|
Issue924.agda
|
c98e6d0d7c
Merge agda-maint
|
9 年 前 |
|
Makefile
|
6591c94fca
make: Set SHELL from mk/common.mk and run with safe flags
|
4 年 前 |
|
SizeInconsistentMeta4.agda
|
73d66e16f1
[ re #4324 ] fix & cleanup test case
|
4 年 前 |
|
Tests.hs
|
8ca2402d1f
Testsuite: use Text.words consistently when diffing
|
3 年 前 |
|
lib-succeed.agda-lib
|
191ffd0294
[ lib-succeed test-suite ] Added .agda-lib file [ci skip].
|
9 年 前 |
Andreas Abel
d281edeac8
Re #854: updated test case to latest std-lib