added some comments, added a license and a readme

1 files changed, 2 insertions, 0 deletions

diff --git a/proposition.c b/proposition.c
index 76ae4cd..2c1410c 100644
--- a/proposition.c
+++ b/proposition.c
@@ -1,4 +1,5 @@
 #include "proposition.h"
+/* a proposition defines a relation between two propositions */
 prop_t init_prop(prop_t* propA, prop_t* propB, tokenType_t relation) {
 	prop_t prop;
 	prop.propA = propA;
@@ -6,6 +7,7 @@ prop_t init_prop(prop_t* propA, prop_t* propB, tokenType_t relation) {
 	prop.relation = relation;
 	return prop;
 }
+/* a simple proposition is one with only a name */
 prop_t init_simple_prop(char* name) {
 	prop_t prop;
 	prop.name = name;