Age | Commit message (Expand) | Author |
---|---|---|
2020-06-15 | Get rid of explicit ErrorInfo constructors | Eelco Dolstra |
2020-05-13 | formatting and a few minor changes | Ben Burdette |
2020-05-08 | add pos to errorinfo, remove from hints | Ben Burdette |
2019-12-10 | Make the Store API more type-safe | Eelco Dolstra |
2019-01-31 | Add builtins.appendContext. | Shea Levy |
2019-01-14 | Add builtins.getContext. | Shea Levy |