5d8f805Shrink IBCs dramaticallyEdwin Brady13 years ago 8b7f8adPerformance improvement: name supplyEdwin Brady13 years ago f47329cShortcut unification updatesEdwin Brady13 years ago 0cc9d4cDon't use a record for SourceLocationDavid Raymond Christiansen13 years ago cf58eebAdded some clarification of the purpose of `PVar`Alyssa Carter13 years ago 2feffa9Added haddock comments for most of the rest of the functions in `Core.TT`Alyssa Carter13 years ago 2ab9798Fixed typo: "unform" --> "uniform"Alyssa Carter13 years ago 81e2e4aChanged my haddock comments to use proper markupAlyssa Carter13 years ago ae37f9bAdding prefix to new record field namesAlyssa Carter13 years ago 90eaa8dAdded haddock comments to a number of TT name manipulation functionsAlyssa Carter13 years ago ab06192Adding haddock comments to `instantiate` and `substV`. Also clarified the third paramater of the `P` constructor for `TT`.Alyssa Carter13 years ago 2162623Explained motivation for some cases in `termsize`Alyssa Carter13 years ago 662289fChanged the name of a pattern variable in one case of `termsize` to be more congruent with the other casesAlyssa Carter13 years ago 4dbd816Clarify an initially-confusing point about `Binder`Alyssa Carter13 years ago c3659afMoved information from comments to record field names.Alyssa Carter13 years ago 3f2755bAdded haddock comment for `Core.TT.tcname`Alyssa Carter13 years ago ffb08c2Add pkg-config gc flags to llvm MakefileJason Gross13 years ago