[Agda] Bit-wise XOR for Word64?

David Banas capn.freako at gmail.com
Tue Sep 29 19:04:45 CEST 2020

Previous message (by thread): [Agda] [TFPIE'21] First Call For Papers: Trends in Functional Programming *in Education* 2021, 16 February (with Lambda Days 2021 & TFP 2021)
Next message (by thread): [Agda] Bit-wise XOR for Word64?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi all,

Is there a bit-wise XOR operator for the Word64 type available in Agda?

Thanks,
-db

Previous message (by thread): [Agda] [TFPIE'21] First Call For Papers: Trends in Functional Programming *in Education* 2021, 16 February (with Lambda Days 2021 & TFP 2021)
Next message (by thread): [Agda] Bit-wise XOR for Word64?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list