projects / helm.git / history
| 2008-12-15 | Wilmer Ricciotti | First attempt to implement unification hints. | blob | commitdiff | raw |
| 2008-12-05 | Enrico Tassi | coercions are there, but not heavily tested | blob | commitdiff | raw | diff to current |
| 2008-11-21 | Enrico Tassi | loc * lazy string -> (loc * string) lazy | blob | commitdiff | raw | diff to current |
| 2008-11-21 | Enrico Tassi | disambiguation now returns and takes in input the subst... | blob | commitdiff | raw | diff to current |
| 2008-10-14 | Enrico Tassi | term refinement almost done, some functions exported... | blob | commitdiff | raw | diff to current |
| 2008-10-13 | Enrico Tassi | initial refiner .... | blob | commitdiff | raw | diff to current |
| 2008-09-16 | Enrico Tassi | ... | blob | commitdiff | raw | diff to current |