From 2d052d34f7169b4866f38f2a9a58e8a672f564c6 Mon Sep 17 00:00:00 2001
From: greg <greg.shuflin@protonmail.com>
Date: Thu, 14 Jun 2018 05:42:12 -0700
Subject: [PATCH] More thinking

---
 TODO.md | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/TODO.md b/TODO.md
index 57ed3b2..1b5ccec 100644
--- a/TODO.md
+++ b/TODO.md
@@ -18,6 +18,15 @@ pattern matching/introducing bindings:
 pattern matching w/ if-let:
 `if person is Person("Alice", age) { "${age}" } else { "nope" }`
 
+-https://soc.github.io/languages/unified-condition-syntax syntax:
+
+`if <cond-expr>" then <then-expr> else <else-expr>`
+`if <half-expr> \n <rest-expr1> then <result1-expr> \n <rest-expr2> then <result-expr2> else <result3-expr>`
+-and rest-exprs (or "targets") can have 'is' for pattern-matching, actually so can a full cond-expr
+
+Grammar:
+
+conditional := 'if' discriminator
 
 
 - Next priorities: - get ADTs working, get matches working