From 0b2bf5ab3c71d5710630f8248e131ce4413ad347 Mon Sep 17 00:00:00 2001
From: Chris Allen <cma@bitemyapp.com>
Date: Thu, 26 Jun 2014 15:48:47 -0500
Subject: [PATCH] Propositions vs. Judgements

---
 README.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/README.md b/README.md
index a74b556..960f1bc 100644
--- a/README.md
+++ b/README.md
@@ -321,6 +321,12 @@ Didn't know where else to put these:
 
 - http://www.idris-lang.org/
 
+## Propositions vs. Judgments (computation)
+
+- http://cstheory.stackexchange.com/questions/9826/what-is-the-difference-between-propositions-and-judgments
+
+- http://www.ae-info.org/attach/User/Martin-L%C3%B6f_Per/OtherInformation/article.pdf
+
 ## Extended Reading list (some is already included here)
 
 - http://www.stephendiehl.com/posts/essential_haskell.html