| commit | 80505995d0c8a2fd5c5ad99a0aba8d6cebef81b3 | [log] [tgz] |
|---|---|---|
| author | Victor Zverovich <victor.zverovich@gmail.com> | Sun Sep 03 08:28:30 2017 -0700 |
| committer | Victor Zverovich <victor.zverovich@gmail.com> | Mon Sep 04 09:33:22 2017 -0700 |
| tree | fdc69e17e4c7fa9711ed65e54c264a351e5d4899 | |
| parent | b0867f3fa04c3b5d750f31276f750ed6bb23241a [diff] |
Allow delayed type checking