index
:
dhall_rust
derive-macro
substitutions
working copy forked from https://github.com/Nadrieril/dhall-rust
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
dhall_generated_parser
(
unfollow
)
Commit message (
Expand
)
Author
Files
Lines
2019-08-26
Match on rules in parser instead of on ParsedValues
Nadrieril
1
-1
/
+1
2019-08-15
Use precedence climbing to parse expressions with operators
Nadrieril
2
-5
/
+36
2019-08-13
Implement inline headers parsing
Nadrieril
1
-19
/
+11
2019-08-12
Remove grammar workaround
Nadrieril
2
-23
/
+1
2019-08-08
Add support for dependent types
Nadrieril
2
-0
/
+4
2019-08-07
Add truncated Natural subtraction
Nadrieril
1
-0
/
+1
2019-08-07
Remove union literals from the language
Nadrieril
1
-4
/
+2
2019-08-07
Various parsing tweaks
Nadrieril
1
-11
/
+0
2019-08-07
Forbid surrogate pairs and non-characters
Nadrieril
1
-0
/
+1
2019-08-06
Generalize empty list annotations
Nadrieril
1
-0
/
+22
2019-08-06
Circumvent spec error
Nadrieril
1
-0
/
+11
2019-08-06
rustfmt
Nadrieril
1
-4
/
+1
2019-08-06
Add toMap keyword
Nadrieril
1
-0
/
+1
2019-08-06
Change URL parsing
Nadrieril
1
-1
/
+3
2019-08-06
RFC3986 URLs
Nadrieril
2
-0
/
+7
2019-08-06
Braced escape sequences
Nadrieril
1
-0
/
+1
2019-08-06
Remove old-style optional literals
Nadrieril
1
-2
/
+0
2019-08-06
Inline headers
Nadrieril
1
-0
/
+12
2019-08-03
Update dhall-lang submodule
Nadrieril
1
-0
/
+1
2019-05-04
Rename dhall_core to dhall_syntax
Nadrieril
1
-1
/
+1
2019-05-02
Update dhall-lang submodule
Nadrieril
1
-1
/
+1
2019-05-02
Update dhall-lang submodule
Nadrieril
2
-3
/
+42
2019-05-02
Update dhall-lang submodule
Nadrieril
1
-2
/
+2
2019-04-16
Update dhall-lang submodule
Nadrieril
1
-1
/
+2
2019-04-16
Tiny rename to save myself a lot of pain
Nadrieril
1
-1
/
+1
2019-04-16
Reference upstream abnf_to_pest
Nadrieril
1
-1
/
+1
2019-04-14
Document roughly the dhall subcrates
Nadrieril
1
-0
/
+7
2019-04-14
Use upstream pest
Nadrieril
1
-1
/
+1
2019-04-13
Clarify role of dhall_generated_parser crate
Nadrieril
6
-0
/
+236