thon

a small functional language

Activity

d7b95ae Add do keyword and example conditional command execution

~thon pushed to ~thon/thon git

22 days ago via thon

23bf98b Start parsing cmds

~thon pushed to ~thon/thon git

23 days ago via thon

8571e74 Precautionary comment

~thon pushed to ~thon/thon git

23 days ago via thon

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

~thon pushed to ~thon/thon git

23 days ago via thon

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

~thon pushed to ~thon/thon git

23 days ago via thon

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

~thon pushed to ~thon/thon git

23 days ago via thon

49cadea Update README

~thon pushed to ~thon/thon git

24 days ago via thon

2d167c2 Update README

~thon pushed to ~thon/thon git

24 days ago via thon

77836cf Function application associativity is wrong

~thon pushed to ~thon/thon git

30 days ago via thon

c5ed5b1 Renames

~thon pushed to ~thon/thon git

30 days ago via thon

a9a66ca Use the nicer syntax

~thon pushed to ~thon/thon git

a month ago via thon

c762547 Update README

~thon pushed to ~thon/thon git

a month ago via thon

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

~thon pushed to ~thon/thon git

a month ago via thon

0b128fe Update README

~thon pushed to ~thon/thon git

a month ago via thon

378c69f Use fun syntax in bst and collatz

~thon pushed to ~thon/thon git

a month ago via thon
1 / 2