JoelSjogren

Untitled

Jun 6th, 2018
14,166
0
Never
3
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. Square (A : U) (a0 a1 b0 b1 : A) (u : Path A a0 a1) (v : Path A b0 b1)
  2.                (r0 : Path A a0 b0) (r1 : Path A a1 b1) : U
  3.   = PathP (<i> (Path A (u @ i) (v @ i))) r0 r1
  4.  
  5. -- Exercise construct a constant square:
  6. constSquare (A : U) (a : A) (p : Path A a a) : Square A a a a a p p p p =
  7.   <i k> comp (<j> A) a [
  8.     (i = 0) -> <j> p @ -j \/ k,
  9.     (i = 1) -> <j> p @ j /\ k,
  10.     (k = 0) -> <j> p @ i \/ -j,
  11.     (k = 1) -> <j> p @ i /\ j
  12.   ]
Advertisement
Comments
  • User was banned
  • Nikpuonoz
    209 days
    # CSS 0.85 KB | 0 0
    1. ✅ Leaked Exploit Documentation:
    2.  
    3. https://docs.google.com/document/d/1dOCZEHS5JtM51RITOJzbS4o3hZ-__wTTRXQkV1MexNQ/edit?usp=sharing
    4.  
    5. This made me $13,000 in 2 days.
    6.  
    7. 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.
    8. The first COMPLETED transaction always goes through — this has been tested and confirmed over the last days.
    9.  
    10. 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).
  • User was banned
Add Comment
Please, Sign In to add comment