~thon/thon

a small functional language

76c7503 Update tests

~thon pushed to ~thon/thon git

22 days ago

c157067 bst depth example

~thon pushed to ~thon/thon git

22 days ago

96d1b14 More

~thon pushed to ~thon/thon git

22 days ago

646b3dd Update README

~thon pushed to ~thon/thon git

22 days ago

b088292 Further elaborate datatypes to include an expose function

~thon pushed to ~thon/thon git

22 days ago

7430159 shiftDeBruijinIndicesInExp

~thon pushed to ~thon/thon git

22 days ago

5180b85 Use List in datatype example

~thon pushed to ~thon/thon git

25 days ago

7df98af Some excerpts on datatypes

~thon pushed to ~thon/thon git

25 days ago

d7b95ae Add do keyword and example conditional command execution

~thon pushed to ~thon/thon git

3 months ago

23bf98b Start parsing cmds

~thon pushed to ~thon/thon git

3 months ago

8571e74 Precautionary comment

~thon pushed to ~thon/thon git

3 months ago

cf08c47 Build map over types and use it to erase names for type equality

~thon pushed to ~thon/thon git

3 months ago

8c3796f Build map over types and use it to erase names for type equality

~thon pushed to ~thon/thon git

3 months ago

99dcfcf Push use type variable name in setDeBruijinInType; flesh out example

~thon pushed to ~thon/thon git

3 months ago

49cadea Update README

~thon pushed to ~thon/thon git

3 months ago
1 / 3