aboutsummaryrefslogtreecommitdiff
path: root/project.clj
diff options
context:
space:
mode:
authorEduardo Julian2015-04-25 17:30:54 -0400
committerEduardo Julian2015-04-25 17:30:54 -0400
commitcc8f12a30f0f7144e9ce0a2846b30d4d9c36d0eb (patch)
tree8212f3e71a7e2ce0f672cce118ba703153bfe3de /project.clj
parentd366abe19aaf9b688312d2f845f6771b8478cc0c (diff)
- More accurate AllT environment management by using (Maybe TypeEnv) instead of TypeEnv. The performance of the type-checker also improved thanks to that.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions