Skip to content

Instantly share code, notes, and snippets.

View johnshearing's full-sized avatar

John Shearing johnshearing

27 followers · 0 following
View GitHub Profile
@bwbush
bwbush / first-kyd-on-midnight.md
Last active December 30, 2023 04:47
Executing a simplified version of Marlowe on Midnight's devnet

Executing a simplified version of Marlowe on Midnight's devnet

Kyd, a Marlowe-like language for smart contracts

The Kyd language is a simplified version of the Marlowe language.

The following Lean 4 types define Kyd. For brevity, we omit the specification of the semantics, but they closely mimic Marlowe's semantics.




  


  





    


          
    

      

        
        

          

              @dino-
          

          

            
                dino-
                / haskell-symbols.md
            
            

              Last active
              February 21, 2026 18:52
            

              
                Haskell symbols
              
          

        

      

        


      

      

    
!!!!! ATTENTION !!!!!


This project has been permanently moved to Codeberg
(haskell-symbols) and is no longer actively
maintained on Github.
Don't bother forking or getting source from here as it will not be updated.


Microsoft is not a friend of open-source and we do ourselves a disservice
giving them this impressive power over our work.