README.txt (7.02 kB)
Switch ViewSwitch between different file views Thumbnail view List view File view
Obsidian smart contract programming language
softwareposted on 2020-08-27, 14:02 authored by Michael CoblenzMichael Coblenz, Jonathan AldrichJonathan Aldrich, Brad MyersBrad Myers, Joshua SunshineJoshua Sunshine
Obsidian is a new smart contract language, which uses a linear type system to provide strong safety guarantees for smart contracts. This is an archive of the Obsidian GitHub repository.