summaryrefslogtreecommitdiff
path: root/dhall (follow)
Commit message (Expand)AuthorAgeFilesLines
...
| * Update dhall-lang submoduleNadrieril2019-04-041-36/+36
* | Give up on laziness and greatly simplify normalizationNadrieril2019-04-062-233/+206
* | Update dhall-lang submoduleNadrieril2019-04-041-36/+36
* | Refactor and clarify various map methodsNadrieril2019-04-011-1/+1
* | Make Expr generic in LabelNadrieril2019-03-311-1/+1
* | Remove evil Deref implNadrieril2019-03-312-3/+3
* | Move recursion out of ExprNadrieril2019-03-314-9/+9
* | rustfmtNadrieril2019-03-311-4/+1
* | Make SubExpr a newtypeNadrieril2019-03-314-78/+70
|/
* Remove some redundant namespacingNadrieril2019-03-313-47/+48
* Manually rustfmt like a naziNadrieril2019-03-272-4/+22
* Derive DhallType for anonymous structs and enumsNadrieril2019-03-261-0/+24
* Derive DhallType for structsNadrieril2019-03-263-10/+106
* Update dhall-lang submoduleNadrieril2019-03-261-5/+5
* Lay groundwork for DhallType derivingNadrieril2019-03-242-1/+15
* Correctly namespace interpolations in dhall_expr!()Nadrieril2019-03-242-3/+0
* Improve decoder errors on unknown inputsNadrieril2019-03-241-6/+2
* Parse multiline strings correctlyNadrieril2019-03-243-23/+25
* Generate parser tests list automaticallyNadrieril2019-03-243-67/+45
* Parser import hash and headersNadrieril2019-03-243-7/+32
* Disallow builtins as bound variablesNadrieril2019-03-241-1/+1
* Handle merge and record projectionNadrieril2019-03-232-11/+42
* Update dhall-lang submoduleNadrieril2019-03-231-2/+3
* Handle double overflows in parserNadrieril2019-03-231-2/+2
* Parse unicode escapes in stringNadrieril2019-03-231-1/+1
* Handle quoted labelsNadrieril2019-03-221-1/+1
* oopsNadrieril2019-03-221-7/+7
* Parse a lot more of the import typesNadrieril2019-03-223-17/+91
* Improve binary decoding errorsNadrieril2019-03-221-14/+25
* Improve import handling in parserNadrieril2019-03-215-6/+44
* rustfmtNadrieril2019-03-211-11/+3
* Follow the spec for handling DoublesNadrieril2019-03-212-2/+2
* Represent Optional literals more faithfullyNadrieril2019-03-213-39/+20
* Rename Record/Union to RecordType/UnionTypeNadrieril2019-03-212-7/+7
* Reorganize dhall_core a bitNadrieril2019-03-214-7/+7
* Make parser implementation non-recursiveNadrieril2019-03-201-16/+1
* Cleanup parser codeNadrieril2019-03-201-1/+1
* Obsolete old parser macros; performance is now deadNadrieril2019-03-201-1/+1
* Handle simple parsing cases with new macrosNadrieril2019-03-201-1/+1
* rustfmtNadrieril2019-03-192-15/+21
* Test printer in parser testsNadrieril2019-03-191-0/+5
* Add travis integrationNadrieril2019-03-192-11/+18
* Implement a few more primitivesNadrieril2019-03-183-38/+65
* Split List literal between empty and non-emptyNadrieril2019-03-184-32/+41
* tweaksNadrieril2019-03-181-4/+14
* Split off builtin application normalization for clarityNadrieril2019-03-181-168/+149
* Improve normalization ergonomicsNadrieril2019-03-181-145/+150
* Improve ergonomics of typecheckingNadrieril2019-03-181-354/+248
* Considerably simplify subst, shift and typecheckingNadrieril2019-03-184-241/+88
* Clean up some mess relating to Clone boundsNadrieril2019-03-172-13/+13