a small functional language
b088292 Further elaborate datatypes to include an expose function
~thon pushed to ~thon/thon git
d7b95ae Add do keyword and example conditional command execution
~thon pushed to ~thon/thon git
cf08c47 Build map over types and use it to erase names for type equality
~thon pushed to ~thon/thon git
8c3796f Build map over types and use it to erase names for type equality
~thon pushed to ~thon/thon git
99dcfcf Push use type variable name in setDeBruijinInType; flesh out example
~thon pushed to ~thon/thon git