News for hackers. Stuff that matters.
Re:Obsidian: A safer blockchain programming language by DennisP on Friday May 31, 2019 @01:30PM (#20063045)
Their papers have a few samples. It looks a little like Bamboo.

http://obsidian-lang.com/publications.html

There are no comments on this comment yet.