Type Checking in Whiley goes Both Ways!

https://whileydave.com/2022/06/15/type-checking-in-whiley-goes-both-ways/ · Type Checking in Whiley goes Both Ways!