| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Move `SetName` class definition to types module. | Łukasz Hanuszczak | 2015-08-21 | 1 | -5/+1 |
| * | Fix compilation error caused by incorrect type signature. | Łukasz Hanuszczak | 2015-08-21 | 1 | -1/+1 |
| * | Create function for retrieving free variables from given type. | Łukasz Hanuszczak | 2015-08-21 | 1 | -0/+20 |
| * | Fix logic behind binder type renaming. | Łukasz Hanuszczak | 2015-08-21 | 1 | -4/+7 |
| * | Fill in stub behaviour with actual environment renaming. | Łukasz Hanuszczak | 2015-08-21 | 1 | -14/+28 |
| * | Implement simple mechanism for generating new type names. | Łukasz Hanuszczak | 2015-08-21 | 1 | -3/+26 |
| * | Change state of the type renaming monad. | Łukasz Hanuszczak | 2015-08-21 | 1 | -14/+16 |
| * | Remove code duplication in specialized type renamer. | Łukasz Hanuszczak | 2015-08-21 | 1 | -6/+10 |
| * | Fill in missing cases in specialized type renaming function. | Łukasz Hanuszczak | 2015-08-21 | 1 | -11/+15 |
| * | Create scaffolding of a framework for renaming specialized types. | Łukasz Hanuszczak | 2015-08-21 | 1 | -1/+96 |
| * | Get rid of code duplication in type specialization module. | Łukasz Hanuszczak | 2015-08-21 | 1 | -18/+12 |
| * | Implement tuple syntax sugaring logic for specialized types. | Łukasz Hanuszczak | 2015-08-21 | 1 | -2/+34 |
| * | Implement list syntax sugaring logic for specialized types. | Łukasz Hanuszczak | 2015-08-21 | 1 | -3/+16 |
| * | Create stub functions for sugaring specialized types. | Łukasz Hanuszczak | 2015-08-21 | 1 | -0/+13 |
| * | Create convenience functions for type specialization module. | Łukasz Hanuszczak | 2015-08-21 | 1 | -5/+26 |
| * | Make type of type specialization function more general. | Łukasz Hanuszczak | 2015-08-21 | 1 | -3/+3 |
| * | Create simple utility module for type specialization. | Łukasz Hanuszczak | 2015-08-21 | 1 | -0/+21 |
