Home

Welcome to the Obsidian wiki!

So far this is a place for discussion of various questions in the design of the Obsidian language, and for keeping records of the justifications of our design choices.

Design topics

• State transitions
• Linearity
• Path-Dependent Types
• Permission System Details
• Enforcing linearity for state transitions and field accesses

Compiler and runtime architecture

• Client-server interaction overview

Potential study tasks

• Voter Registration Exercise
• Lottery Ticket Exercise
• Obsidian Tutorial