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-lang
(
unfollow
)
Commit message (
Expand
)
Author
Files
Lines
2020-06-25
spec: allow trailing delimiters
Nadrieril
1
-0
/
+0
2020-06-25
spec: support Dhall v17.0.0
Nadrieril
1
-0
/
+0
2020-06-25
spec!: remove Optional/build and Optional/fold
Nadrieril
1
-0
/
+0
2020-06-25
spec: remove Unicode character from `dhall.abnf`
Nadrieril
1
-0
/
+0
2020-06-25
spec!: remove the ability to quote paths in URLs
Nadrieril
1
-0
/
+0
2020-06-25
spec: ensure `keyword` rule only matches keywords
Nadrieril
1
-0
/
+0
2020-06-25
spec: not all ABNF parsers like empty rules
Nadrieril
1
-0
/
+0
2020-06-25
spec: allow quoted labels to be empty
Nadrieril
1
-0
/
+0
2020-06-25
spec: support Dhall v16.0.0
Nadrieril
1
-0
/
+0
2020-06-25
spec: update encoding of floating point values to RFC7049bis
Nadrieril
1
-0
/
+0
2020-06-25
spec: allow unions with mixed kinds
Nadrieril
1
-0
/
+0
2020-06-25
spec: fix precedence of `===` and `with`
Nadrieril
1
-0
/
+0
2020-04-11
Update dhall-lang submodule
Nadrieril
1
-0
/
+0
2020-04-11
Update spec to v15
Nadrieril
1
-0
/
+0
2020-03-17
Standard PR got merged
Nadrieril
1
-0
/
+0
2020-03-10
Upstream all local tests
Nadrieril
1
-0
/
+0
2020-03-10
Add support for `with` keyword
Nadrieril
1
-0
/
+0
2020-03-05
Update dhall-lang submodule
Nadrieril
1
-0
/
+0
2020-02-20
Update dhall-lang submodule
Nadrieril
1
-0
/
+0
2020-02-20
Support spec v14
Nadrieril
1
-0
/
+0
2020-02-20
Add support for dotted field syntax
Nadrieril
1
-0
/
+0
2020-02-20
Disallow Natural literals with leading zeros
Nadrieril
1
-0
/
+0
2020-02-20
Add support for duplicate record fields
Nadrieril
1
-0
/
+0
2020-02-19
Update spec to version 13
Nadrieril
1
-0
/
+0
2019-12-27
Update dhall-lang submodule
Nadrieril
1
-0
/
+0
2019-12-24
Extend merge to work on Optionals
Nadrieril
1
-0
/
+0
2019-12-23
Update dhall-lang submodule
Nadrieril
1
-0
/
+0
2019-12-23
Update dhall-lang submodule
Nadrieril
1
-0
/
+0
2019-12-23
Update dhall-lang submodule
Nadrieril
1
-0
/
+0
2019-12-23
Update dhall-lang submodule
Nadrieril
1
-0
/
+0
2019-12-23
Add two new Integer builtins
Nadrieril
1
-0
/
+0
2019-12-22
Update dhall-lang submodule
Nadrieril
1
-0
/
+0
2019-12-22
Update dhall-lang submodule
Nadrieril
1
-0
/
+0
2019-12-22
Update dhall-lang submodule
Nadrieril
1
-0
/
+0
2019-12-22
Update dhall-lang submodule
Nadrieril
1
-0
/
+0
2019-12-22
Implement parsing for record completion
Nadrieril
1
-0
/
+0
2019-12-22
Update dhall-lang submodule
Nadrieril
1
-0
/
+0
2019-12-22
Update dhall-lang submodule
Nadrieril
1
-0
/
+0
2019-09-20
Update dhall-lang submodule
Nadrieril
1
-0
/
+0
2019-09-20
Update dhall-lang submodule
Nadrieril
1
-0
/
+0
2019-08-31
Update dhall-lang submodule
Nadrieril
1
-0
/
+0
2019-08-31
Don't URL-decode path segments
Nadrieril
1
-0
/
+0
2019-08-20
Standardize records of mixed kinds
Nadrieril
1
-0
/
+0
2019-08-12
Remove grammar workaround
Nadrieril
1
-0
/
+0
2019-08-12
Fix a test
Nadrieril
1
-0
/
+0
2019-08-10
Update dhall-lang submodule
Nadrieril
1
-0
/
+0
2019-08-08
Update dhall-lang submodule
Nadrieril
1
-0
/
+0
2019-08-08
Add support for dependent types
Nadrieril
1
-0
/
+0
2019-08-07
Update dhall-lang submodule
Nadrieril
1
-0
/
+0
2019-08-07
Flatten nested let bindings
Nadrieril
1
-0
/
+0
[next]