| .. |
|
EqReasoning.agda
|
311a25f98b
Test for agda-stdlib issue 83.
|
пре 9 година |
|
EqReasoning.in
|
3940845095
Merge branch 'maint-2.4'
|
пре 9 година |
|
EqReasoning.out
|
311a25f98b
Test for agda-stdlib issue 83.
|
пре 9 година |
|
Issue2066.agda
|
974dea22d6
Issue #2066 is already fixed (parameter refinement)
|
пре 8 година |
|
Issue2066.in
|
974dea22d6
Issue #2066 is already fixed (parameter refinement)
|
пре 8 година |
|
Issue2066.out
|
242c3be5e8
[ #3127 ] Remove prefix for out-of-scope names altogether
|
пре 6 година |
|
Makefile
|
6591c94fca
make: Set SHELL from mk/common.mk and run with safe flags
|
пре 4 година |
|
clean.sh
|
34fb6af4d5
[ tests ] Make bash calls more portable
|
пре 8 година |
Robert Estelle
6591c94fca
make: Set SHELL from mk/common.mk and run with safe flags