d7b95ae Add do keyword and example conditional command execution

~thon pushed to ~thon/thon git

23bf98b Start parsing cmds

~thon pushed to ~thon/thon git

8571e74 Precautionary comment

~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

49cadea Update README

~thon pushed to ~thon/thon git

2d167c2 Update README

~thon pushed to ~thon/thon git

77836cf Function application associativity is wrong

~thon pushed to ~thon/thon git

c5ed5b1 Renames

~thon pushed to ~thon/thon git

a9a66ca Use the nicer syntax

~thon pushed to ~thon/thon git

c762547 Update README

~thon pushed to ~thon/thon git

4b8bff3 Give use a type variable to bind in the client's scope

~thon pushed to ~thon/thon git

0b128fe Update README

~thon pushed to ~thon/thon git

378c69f Use fun syntax in bst and collatz

~thon pushed to ~thon/thon git