 Fredrik Nordvall Forsberg
|
a50ff581f3
[ #2487 ] consistency checking of options
|
5 years ago |
 Ulf Norell
|
cda0be5be9
[ js backend ] changed syntax for COMPILE JS pragma
|
7 years ago |
|
Ulf Norell
|
a751e811a8
[ test ] use Agda.Builtin.* in test/Common
|
8 years ago |
|
Ulf Norell
|
1a229e26b4
[ MAlonzo ] give proper errors if there are multple COMPILED pragmas for the same name
|
9 years ago |
 Philipp Hausmann
|
d55e5321be
[ uhc ] Add support for UHC to exec tests
|
9 years ago |
|
Philipp Hausmann
|
de5bf1989a
[ tests ] Merge "Common" with backend tests "Prelude".
|
9 years ago |
