Commit message (Expand) | Author | Age | |
---|---|---|---|
* | A test checking for non-collision of name in irrefutable patterns. | Hugo Herbelin | 2017-03-23 |
* | Some extra fixes in printing patterns in binders. | Hugo Herbelin | 2016-07-19 |
* | Taking into account binding patterns when agglutinating sequences of binders. | Hugo Herbelin | 2016-07-19 |
* | Fixing missing parentheses in printing of patterns in binders. | Hugo Herbelin | 2016-07-19 |
* | Patterns in binders: printing tests | Arnaud Spiwack | 2016-06-27 |