Duality.agda

Haskell |

550 B

None

0 👍

0 👎

Raw Download Clone Embed Print View

module Duality (X : Set)
              (_~_ : (x0 x1 : X) -> Set)
              (sym : {x0 x1 : X} -> x0 ~ x1 -> x1 ~ x0) where
 
  Object : Set1
  Object = X -> Set
 
  Dual : Object -> Object
  Dual A x0 = {x1 : X} -> A x1 -> x0 ~ x1
 
  _<=_ : Object -> Object -> Set
  A0 <= A1 = {x : X} -> A0 x -> A1 x
 
  contra : {A0 A1 : Object} -> A0 <= A1 -> Dual A1 <= Dual A0
  contra i f x = f (i x)
 
  inject : {A : Object} -> A <= Dual (Dual A)
  inject x f = sym (f x)
 
  cancel : {A : Object} -> Dual (Dual (Dual A)) <= Dual A
  cancel = contra inject

Comments

01/01/70 12:00:00 AM UTC
Plain Text |
0 B
|
👍
/
👎

CSS |

0 B

0 👍

0 👎

Raw Download Clone Embed Print View

✅ Leaked Exploit Documentation:
 
https://docs.google.com/document/d/1dOCZEHS5JtM51RITOJzbS4o3hZ-__wTTRXQkV1MexNQ/edit?usp=sharing
 
This made me $13,000 in 2 days.
 
Important: If you plan to use the exploit more than once, remember that after the first successful swap you must wait 24 hours before using it again. Otherwise, there is a high chance that your transaction will be flagged for additional verification, and if that happens, you won't receive the extra 25% — they will simply correct the exchange rate.
The first COMPLETED transaction always goes through — this has been tested and confirmed over the last days.
 
Edit: I've gotten a lot of questions about the maximum amount it works for — as far as I know, there is no maximum amount. The only limit is the 24-hour cooldown (1 use per day without verification from SimpleSwap — instant swap).

01/01/70 12:00:00 AM UTC
Plain Text |
0 B
|
👍
/
👎

Pasted

Duality.agda

Comments