707374b68faa8c7c652edd4f0317394648fca844
-rw-r--r-- 5275 Base.hs
-rw-r--r-- 4835 Global.hs
-rw-r--r-- 2571 InstEnv.hs
-rw-r--r-- 2456 Local.hs
-rw-r--r-- 2614 Naming.hs