summaryrefslogtreecommitdiff
path: root/LICENSE
diff options
context:
space:
mode:
authorNadrieril2019-05-07 19:47:04 +0200
committerNadrieril2019-05-07 19:47:04 +0200
commit833cb91cec6ae708e17a0f9589eba9560e81bd07 (patch)
tree4a0b2b988664eff1e843cb128497f895976911ba /LICENSE
parentb3f00a827bcdd0fe406ccf8913cc5fb7cd6e0f2f (diff)
Unify typecheck and normalization contexts
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions