From 2016fcab41c3a06095abd94303aa31c1d74ec43b Mon Sep 17 00:00:00 2001
From: greg <greg.shuflin@protonmail.com>
Date: Sat, 9 Dec 2017 18:56:34 -0800
Subject: [PATCH] Add schala idea

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

diff --git a/README.md b/README.md
index 17a48b9..add9b5e 100644
--- a/README.md
+++ b/README.md
@@ -6,6 +6,13 @@ TODO:
 rename accordingly!
 -idea for Schala - scoped types - be able to define a quick enum type scoped to a function ro something, that only
 is meant to be used as a quick bespoke interface between two other things
+-idea for Schala: both currying *and* default arguments!
+        ex. fn a(b: Int, c:Int, d:Int = 1) -> Int
+            a(1,2) : Int
+            a(1,2,d=2): Int
+            a(_,1,3) : Int -> Int
+            a(1,2, c=_): Int -> Int
+            a(_,_,_) : Int -> Int -> Int -> Int
 
 # Schala - a programming language meta-interpreter