Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Added note about design doc.

  • Loading branch information...
commit 195c50e95b43adb95b8f68043c9c940b973c431c 1 parent 811727c
@luqui authored
Showing with 1 addition and 1 deletion.
  1. +1 −1  README.mkd
View
2  README.mkd
@@ -1,2 +1,2 @@
sequent - A programming language based on sequent calculus and the Coq
-proof mode.
+proof mode. See `design.mkd` for the design doc.
Please sign in to comment.
Something went wrong with that request. Please try again.