Skip to content

Instantly share code, notes, and snippets.

View michaeljklein's full-sized avatar

Michael J Klein michaeljklein

53 followers · 41 following
View GitHub Profile
@michaeljklein
michaeljklein / data_dynamic_michelson_prototype.md
Last active February 6, 2020 19:27

Data.Dynamic in Haskell

Haskell has Data.Dynamic: a method of hiding types in such a way that they may be conditionally resolved at run-time in a type-safe manner.

Here's the implementation in Haskell:

data Dynamic where
    Dynamic :: forall a. TypeRep a -> a -> Dynamic
@michaeljklein
michaeljklein / sfbw_workshop.md
Last active November 1, 2019 19:26

TinyURL for this file: https://tinyurl.com/tezos-sfbw19

Setup

brew tap tqtezos/homebrew-tq https://github.com/tqtezos/homebrew-tq.git
brew install tezos
brew install lorentz-contract-param
brew install lorentz-contracts-sale
@michaeljklein
michaeljklein / ManagedLedgerAthens.tz
Created September 20, 2019 20:27
parameter (or (or (or (pair %transfer (address :from)
(pair (address :to)
(nat :value)))
(or (pair %transferViaProxy (address :sender)
(pair (address :from)
(pair (address :to)
(nat :value))))
(pair %approve (address :spender)
(nat :value))))
(or (pair %approveViaProxy (address :sender)
@michaeljklein
michaeljklein / fa121_with_pytezos.md
Last active September 20, 2019 20:52

FA1.2.1 with PyTezos

This is a brief introduction to interacting with FA1.2.1 using PyTezos.

Install PyTezos

If on Linux, install dependencies with apt:

@michaeljklein
michaeljklein / ManagedLedgerAthens.tz
Created September 19, 2019 20:16
parameter (or (or (or (pair %transfer (address :from)
(pair (address :to)
(nat :value)))
(or (pair %transferViaProxy (address :sender)
(pair (address :from)
(pair (address :to)
(nat :value))))
(pair %approve (address :spender)
(nat :value))))
(or (pair %approveViaProxy (address :sender)
@michaeljklein
michaeljklein / ManagedLedgerAthens.tz
Last active September 19, 2019 20:14
parameter (or (or (or (pair %transfer (address :from)
(pair (address :to)
(nat :value)))
(or (pair %transferViaProxy (address :sender)
(pair (address :from)
(pair (address :to)
(nat :value))))
(pair %approve (address :spender)
(nat :value))))
(or (pair %approveViaProxy (address :sender)
@michaeljklein
michaeljklein / tq_homebrew_linux_setup.md
Last active September 19, 2019 14:22

First, install the required dependencies using apt:

sudo apt update
sudo apt install clang curl git make build-essential

Next, install Homebrew for Linux:




  


  




    


          
    

      

        
        

          

              @michaeljklein
          

          

            
                michaeljklein
                / LambdaSelfTest.tz
            
            

              Created
              September 10, 2019 19:07
            

              
                Test on alphanet, demonstrating lack of support for SELF in lambda's
              
          

        

      

        

  

    
    


        



  


  

        

          
          parameter (contract address);
        

        

          
          

        

        

          
          storage unit;
        

        

          
          

        

        

          
          code
        

        

          
            {
        

        

          
              UNPAIR;
        

        

          
              DIP { DIP { LAMBDA unit address { DROP; SELF } }; EXEC };
        

        

          
              SWAP;
        

        

          
              DIP { AMOUNT };
        

  





    


  




    


          
    

      

        
        

          

              @michaeljklein
          

          

            
                michaeljklein
                / erc-1155.package-lock.json
            
            

              Created
              September 10, 2019 15:17
            

          

        

      

        

  

    
    


        



  


  

        

          
          {
        

        

          
            "name": "erc-1155",
        

        

          
            "version": "1.0.0",
        

        

          
            "lockfileVersion": 1,
        

        

          
            "requires": true,
        

        

          
            "dependencies": {
        

        

          
              "@babel/code-frame": {
        

        

          
                "version": "7.5.5",
        

        

          
                "resolved": "https://registry.npmjs.org/@babel/code-frame/-/code-frame-7.5.5.tgz",
        

        

          
                "integrity": "sha512-27d4lZoomVyo51VegxI20xZPuSHusqbQag/ztrBC7wegWoQ1nLREPVSKSW8byhTlzTKyNE4ifaTA6lCp7JjpFw==",
        

  





    


  




    


          
    

      

        
        

          

              @michaeljklein
          

          

            
                michaeljklein
                / ghc_tests_as_lib.md
            
            

              Created
              June 29, 2019 15:11
            

          

        

      

        

  

      

    
» find ghc/testsuite/tests -type d -name "*.run_dir*" | wc -l                                                                                                                                                                                                $
7163


-- | `Nothing` if no change
type EditM = MaybeT (ReaderT DynFlags Hsc)

infixr 0 >-