started adapting grabmueller's HM implementation
changed some syntax, now we recurse on finding type variables
adding TypeChecker.hs
switched to monadic implementation, w00t
lots of work adapting and grokking grabmueller's algorithm w implementation. it's probably better than mine tho :/
lots of work done to build up/understand HM, still a ways to go though...
random code cosmetics
third (fourth?) round of type checking shows promise in latest steps
removing print statements
about to merge from master
hindley milner version 5 working
adding in case statements as lambdas
lambdas now accept expressions as arg
most recent work on extended lambda
got explicit annotations working, need to change type inferrence accordingly
changed let with type to be syntactic sugar for sig + let
good progress on type annotations, sanity may be in sight
lots of good work on new type checker, but a few kinks to iron out
type annotations so far...
yaaaaaaaaay a working type checker and I understand why