There are some examples in the repository, e.g. https://github.com/mcoblenz/Obsidian/tree/master/resources/case_studies/Insurance https://github.com/mcoblenz/Ob

There are some examples in the repository, e.g. https://github.com/mcoblenz/Obsidian/tree/master/resources/case_studies/Insurance https://github.com/mcoblenz/Obsidian/tree/master/resources/c... Also see a draft paper: http://obsidian-lang.com/obsidian-oopsla-19-submitted.pdf http://obsidian-lang.com/obsidian-oopsla-19-submitted.pdf