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_syntax
/
src
/
core
/
context.rs
(
unfollow
)
Commit message (
Expand
)
Author
Files
Lines
2019-12-15
Move contents of dhall_syntax to dhall
Nadrieril
1
-80
/
+0
2019-08-13
Stop tracking the absence of Embed values at the type level
Nadrieril
1
-1
/
+1
2019-05-12
clippy
Nadrieril
1
-2
/
+2
2019-05-07
Reorganize dhall_syntax
Nadrieril
1
-0
/
+0
2019-05-04
Rename dhall_core to dhall_syntax
Nadrieril
1
-0
/
+0
2019-04-18
Label is redundant in EnvItem::Skip
Nadrieril
1
-2
/
+4
2019-04-18
Use a context for substitution in normalization
Nadrieril
1
-1
/
+7
2019-04-18
subst_shift in a single pass
Nadrieril
1
-0
/
+14
2019-03-08
Slowly propagate the new type parameter throughout the codebase
Nadrieril
1
-2
/
+2
2019-03-08
Generalise Context on its type of keys
Nadrieril
1
-8
/
+10
2019-03-06
Move context to dhall_core
Nadrieril
1
-0
/
+0
2019-03-06
rustfmt
Nadrieril
1
-1
/
+6
2019-03-01
Split abnf_to_pest and dhall into their own crates
Nadrieril
1
-0
/
+0
2017-09-08
fixed some clippy warnings
Andre Bogus
1
-2
/
+2
2017-03-10
Fix context lookup order
NanoTech
1
-1
/
+1
2017-03-10
Replace Cow<'i, str> with &'i str in Expr
NanoTech
1
-3
/
+2
2017-03-10
Begin implementing type checking
NanoTech
1
-0
/
+52