Keith

tiny typo

Currently the error messages look something like this: ``` iex> AgeCheck.user_older_than?("foobar", 42) ** (TypeCheck.TypeError) At lib/type_check_example.ex:28: The call to `user_older_than?/2` failed, because parameter no. 1 does not adhere to the...

Annotated types

1

Hi, firstly thanks for an excellent library! I have discovered that annotated types are not validated by the checker correctly. I have reduced it down to the following test: ```...

Fix Typo