projects
/
matthijs
/
master-project
/
cλash.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from:
b83ea53
)
Move around some helper functions.
author
Matthijs Kooijman
<m.kooijman@student.utwente.nl>
Wed, 5 Aug 2009 11:59:39 +0000
(13:59 +0200)
committer
Matthijs Kooijman
<m.kooijman@student.utwente.nl>
Wed, 5 Aug 2009 11:59:39 +0000
(13:59 +0200)
This moves some stuff from NormalizeTools and NormalizeTypes into the
(new) BinderTools and TranslatorTypes. This also puts most of these
function in the TranslatorSession instead of the TransformMonad.
No differences found