1  #+TITLE: Mira
 2  #+AUTHOR: poolcritter
 3  #+CATEGORY: mira
 4  
 5  * structure of programs
 6  internally, programs take the form of a DAG — there must be exactly one top-level node of spell type.
 7  * type system
 8  there are a few major types:
 9  ** strings
10  sequence of Unicode /graphemes/ — not neccessarily codepoints
11  ** numbers
12  platform doubles, but only displayed with two sigfigs. can also be inf/neginf/NaN
13  ** forms (lambdas)
14  mapping of a single value to a single value.