diff options
author | Nadrieril | 2019-03-18 02:08:26 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-18 02:08:26 +0100 |
commit | d6e5c277e061d61b793286fb0ff2100cf203df89 (patch) | |
tree | 335f6352e5e974caa8910bc0fae537bafc2fe18f /README.md | |
parent | f112145814ed8243904d97c92a15bbdb7053d1a0 (diff) |
Improve ergonomics of typechecking
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions