Reflect moving TFVec and TFP Integers into clash in sourcefiles related to builtin...
[matthijs/master-project/cλash.git] / cλash / CLasH / Normalize /
drwxr-xr-x   ..
-rw-r--r-- 10077 NormalizeTools.hs
-rw-r--r-- 1599 NormalizeTypes.hs