 Andreas Abel
|
9fae511927
[ #4697 ] rename recCon-NOT-PRINTED to <record>.constructor
|
4 年之前 |
 Ulf Norell
|
3b17de2521
inline definitions marked INLINE also at compile-time
|
6 年之前 |
|
Ulf Norell
|
34436d634b
[ treeless ] test case for word64 comparison
|
7 年之前 |
|
Ulf Norell
|
acae24c871
[ word64 ] improve treeless optimisations for Word64
|
7 年之前 |
|
Ulf Norell
|
c92509dac3
[ word64 ] compile to primitive operations on word64 in treeless
|
7 年之前 |
|
Ulf Norell
|
baf03a14d7
[ word64 ] Added a built-in Word64 type in Agda.Builtin.Word
|
7 年之前 |
