caryoscelus/agda

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