in efforts to accumulate endless type system and program synthesis knowledge i've decided to make a repo for toy languages surrounding one type of type system at a time
going from hindley milner and up
ast only atm but w is already able to infer that this let const = λx.λy.x in const 42 true resolves into Int :)))