mikera / magic

Experimental typed JVM Lisp inspired by Clojure
Eclipse Public License 1.0
32 stars 2 forks source link

Consider definition of Context #10

Closed mikera closed 7 years ago

mikera commented 7 years ago

Need to precisely define what we mean by a Context.

Current definition:

Could also include:

mikera commented 7 years ago

Current view seems to be correct, although it appears to have a couple of intricacies: