http://www.weaselhat.com/2020/08/13/what-to-define-when-youre-defining-gradual-type-systems/ Fri, 17 Sep 2021 14:12:58 +0000 hourly 1 https://wordpress.org/?v=6.3.2