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

Compiler and runtime architecture

• Client-server interaction overview