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
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
2019-08-07
Normalize field selection further by inspecting the argument
Nadrieril
1
-0
/
+0
2019-08-07
Update dhall-lang submodule
Nadrieril
1
-0
/
+0
2019-08-07
Add truncated Natural subtraction
Nadrieril
1
-0
/
+0
2019-08-07
Remove union literals from the language
Nadrieril
1
-0
/
+0
2019-08-07
Update dhall-lang submodule
Nadrieril
1
-0
/
+0
2019-08-07
Various parsing tweaks
Nadrieril
1
-0
/
+0
2019-08-07
Forbid surrogate pairs and non-characters
Nadrieril
1
-0
/
+0
2019-08-07
Update dhall-lang submodule
Nadrieril
1
-0
/
+0
2019-08-06
Generalize empty list annotations
Nadrieril
1
-0
/
+0
2019-08-06
Update dhall-lang submodule
Nadrieril
1
-0
/
+0
2019-08-06
Add toMap keyword
Nadrieril
1
-0
/
+0
2019-08-06
Change URL parsing
Nadrieril
1
-0
/
+0
2019-08-06
Change some tests
Nadrieril
1
-0
/
+0
2019-08-06
RFC3986 URLs
Nadrieril
1
-0
/
+0
2019-08-06
Add some tests
Nadrieril
1
-0
/
+0
2019-08-06
Braced escape sequences
Nadrieril
1
-0
/
+0
2019-08-06
Update dhall-lang submodule
Nadrieril
1
-0
/
+0
2019-08-06
Remove old-style optional literals
Nadrieril
1
-0
/
+0
2019-08-06
Inline headers
Nadrieril
1
-0
/
+0
2019-08-03
Update dhall-lang submodule
Nadrieril
1
-0
/
+0
2019-08-03
Update dhall-lang submodule
Nadrieril
1
-0
/
+0
2019-08-03
Update dhall-lang submodule
Nadrieril
1
-0
/
+0
2019-08-03
Update dhall-lang submodule
Nadrieril
1
-0
/
+0
2019-05-09
Update dhall-lang submodule
Nadrieril
1
-0
/
+0
2019-05-02
Update dhall-lang submodule
Nadrieril
1
-0
/
+0
2019-05-02
Update dhall-lang submodule
Nadrieril
1
-0
/
+0
2019-05-02
Update dhall-lang submodule
Nadrieril
1
-0
/
+0
2019-05-02
Update dhall-lang submodule
Nadrieril
1
-0
/
+0
2019-05-02
Update dhall-lang submodule
Nadrieril
1
-0
/
+0
2019-05-02
Update dhall-lang submodule
Nadrieril
1
-0
/
+0
2019-04-16
Update dhall-lang submodule
Nadrieril
1
-0
/
+0
2019-04-09
Update dhall-lang submodule
Nadrieril
1
-0
/
+0
2019-04-07
Update dhall-lang submodule
Nadrieril
1
-0
/
+0
2019-04-05
Update dhall-lang submodule
Nadrieril
1
-0
/
+0
2019-04-04
Update dhall-lang submodule
Nadrieril
1
-0
/
+0
2019-04-04
Update dhall-lang submodule
Nadrieril
1
-0
/
+0
2019-03-27
Update dhall-lang submodule
Nadrieril
1
-0
/
+0
2019-03-26
Update dhall-lange submodule
Nadrieril
1
-0
/
+0
2019-03-26
Update dhall-lang submodule
Nadrieril
1
-0
/
+0
[next]