Browse files

Export from org mode to wiki-markdown

  • Loading branch information...
1 parent cb8d532 commit 57cbb00e22756f5a1b1503d040021fa106327b8a @fogus fogus committed Mar 11, 2013
Showing with 24 additions and 11 deletions.
  1. +4 −11 docs/notes.org
  2. +20 −0 docs/wiki/notes.markdown
View
15 docs/notes.org
@@ -1,25 +1,18 @@
----
-title: Trammel - contracts-programming
----
+* Correctness
-**In progress...**
-
-Correctness
------------
-
-### Specification
+** Specification
> Correctness is a relative notion
-### Consequences
+** Consequences
1. Knowing its correct
2. Gaining a deeper understanding of the problem
3. Documentation
4. A basis for testing
5. A basis for debugging
-### Weak and Strong
+** Weak and Strong
- weak pre
- strong post
View
20 docs/wiki/notes.markdown
@@ -0,0 +1,20 @@
+notes
+=====
+
+## 1) Correctness
+
+### 1.1) Specification
+ > Correctness is a relative notion
+
+### 1.2) Consequences
+ 1. Knowing its correct
+ 2. Gaining a deeper understanding of the problem
+ 3. Documentation
+ 4. A basis for testing
+ 5. A basis for debugging
+
+### 1.3) Weak and Strong
+
+ * weak pre
+ * strong post
+

0 comments on commit 57cbb00

Please sign in to comment.