JoelSjogren icon

Untitled

JoelSjogren | PRO | 06/06/18 03:43:23 PM UTC | 0 ⭐ | 12438 👁️ | Never ⏰ | []
Haskell |

450 B

|

None

|

0 👍

/

0 👎

Square (A : U) (a0 a1 b0 b1 : A) (u : Path A a0 a1) (v : Path A b0 b1)
               (r0 : Path A a0 b0) (r1 : Path A a1 b1) : U
  = PathP (<i> (Path A (u @ i) (v @ i))) r0 r1
 
-- Exercise construct a constant square:
constSquare (A : U) (a : A) (p : Path A a a) : Square A a a a a p p p p =
  <i k> comp (<j> A) a [
    (i = 0) -> <j> p @ -j \/ k,
    (i = 1) -> <j> p @ j /\ k,
    (k = 0) -> <j> p @ i \/ -j,
    (k = 1) -> <j> p @ i /\ j
  ]

Comments

  •  icon
    01/01/70 12:00:00 AM UTC
    Plain Text |

    0 B

    |

    👍

    /

    👎

    
        
  • Nikpuonoz icon
    03/29/26 09:52:36 PM UTC
    CSS |

    0 B

    |

    0 👍

    /

    0 👎

    ✅ 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).
    
  •  icon
    01/01/70 12:00:00 AM UTC
    Plain Text |

    0 B

    |

    👍

    /

    👎