Skip to content

Commit

Permalink
Update index.html
Browse files Browse the repository at this point in the history
  • Loading branch information
mcoblenz committed Sep 6, 2019
1 parent ea5ea41 commit 793e049
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,7 @@ <h1 class="display-4">Obsidian: A safer blockchain programming language</h1>
<li>Linear types ensure that important resources managed by your programs are managed correctly. No more accidentally making money vanish into thin air; the compiler will keep you safe.</li>
</ol>

<p>Obsidian is currently under development and is not ready for general use. For more details about Obsidian, for now, please read our papers. Want to help? Participate in our <a href="experiment.html">user study</a>.<p>
<p>Obsidian is currently under development and is not ready for general use. To learn about Obsidian, follow the <a href="http://obsidian.readthedocs.io">Obsidian tutorial</a>. Want to help? Participate in our <a href="experiment.html">user study</a>.<p>
</div>
</div>

Expand Down

0 comments on commit 793e049

Please sign in to comment.