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
Commit message (
Expand
)
Author
Age
Files
Lines
*
Deprecate some things
Nadrieril
2019-04-18
2
-21
/
+6
*
Merge impl blocks
Nadrieril
2019-04-18
1
-106
/
+104
*
Consistent type variable naming
Nadrieril
2019-04-18
1
-33
/
+34
*
Start cleaning up the mess of mapping functions
Nadrieril
2019-04-18
4
-26
/
+132
*
Simplify implementation of shift and subst_shift
Nadrieril
2019-04-18
1
-27
/
+31
*
Normalize union constructors
Nadrieril
2019-04-17
4
-8
/
+41
*
rustfmt
Nadrieril
2019-04-16
1
-1
/
+2
*
Add typecheck failure tests
Nadrieril
2019-04-16
1
-7
/
+82
*
Update dhall-lang submodule
Nadrieril
2019-04-16
4
-7
/
+14
*
Tiny rename to save myself a lot of pain
Nadrieril
2019-04-16
3
-29
/
+34
*
Handle nullary union variants
Nadrieril
2019-04-16
3
-7
/
+14
*
Prepare for nullary union variants
Nadrieril
2019-04-16
8
-71
/
+163
*
Improve test error ergonomics
Nadrieril
2019-04-16
1
-2
/
+8
*
Fix union constructor typechecking
Nadrieril
2019-04-16
2
-17
/
+30
*
Typecheck union constructor
Nadrieril
2019-04-16
1
-6
/
+15
*
Typecheck unions
Nadrieril
2019-04-16
1
-16
/
+26
*
Typecheck higher-kinded records
Nadrieril
2019-04-16
1
-21
/
+33
*
Remove one more instance of duplicate typechecking
Nadrieril
2019-04-16
2
-1
/
+16
*
Remove higher-kinded type noise in Type
Nadrieril
2019-04-16
4
-42
/
+67
*
Revert "Preserve notes when normalizing"
Nadrieril
2019-04-16
1
-13
/
+6
*
Preserve notes when normalizing
Nadrieril
2019-04-16
1
-6
/
+13
*
Naming tweaks
Nadrieril
2019-04-16
2
-12
/
+12
*
Avoid some work duplication in typechecking
Nadrieril
2019-04-16
2
-51
/
+56
*
Doc tweak
Nadrieril
2019-04-16
1
-8
/
+8
*
Reference upstream abnf_to_pest
Nadrieril
2019-04-16
1
-1
/
+1
*
Merge pull request #75 from basile-henry/import-cycles
Nadrieril Feneanar
2019-04-15
1
-6
/
+32
|
\
|
*
Error on import cycles
Basile Henry
2019-04-15
1
-6
/
+32
*
|
Merge branch 'publish-abnf-to-pest'
Nadrieril
2019-04-15
4
-15
/
+72
|
\
\
|
*
|
Seriously, trailing slash?
Nadrieril
2019-04-15
3
-5
/
+5
|
*
|
clippy
Nadrieril
2019-04-15
1
-2
/
+1
|
*
|
Prepare for publication
Nadrieril
2019-04-15
3
-2
/
+29
|
*
|
Document abnf_to_pest somewhat
Nadrieril
2019-04-15
1
-0
/
+23
|
*
|
Keep rule order in `abnf_to_pest`
Nadrieril
2019-04-15
3
-2
/
+10
|
*
|
Use upstream abnf crate
Nadrieril
2019-04-15
3
-7
/
+7
|
/
/
*
/
Handle empty optionals correctly
Nadrieril
2019-04-15
8
-9
/
+37
|
/
*
rustfmt
Nadrieril
2019-04-15
2
-5
/
+6
*
Remove leftover bx() function
Nadrieril
2019-04-15
2
-11
/
+6
*
Namespace deserialization functions in a `de` submodule
Nadrieril
2019-04-14
5
-51
/
+55
*
clippy
Nadrieril
2019-04-14
7
-20
/
+18
*
abnf_to_pest: Document roughly
Nadrieril
2019-04-14
1
-0
/
+3
*
Use crates.io improved_slice_patterns on top of path dep
Nadrieril
2019-04-14
1
-1
/
+1
*
Merge branch 'publish-improved_slice_patterns'
Nadrieril
2019-04-14
8
-92
/
+125
|
\
|
*
improved_slice_patterns: README wording
Nadrieril
2019-04-14
1
-1
/
+1
|
*
improved_slice_patterns: publish new version
Nadrieril
2019-04-14
1
-2
/
+2
|
*
improved_slice_patterns: various tweaks for crates.io
Nadrieril
2019-04-14
2
-2
/
+10
|
*
improved_slice_patterns: prepare for publishing
Nadrieril
2019-04-14
3
-6
/
+10
|
*
improved_slice_patterns: add README
Nadrieril
2019-04-14
1
-0
/
+23
|
*
improved_slice_patterns: relicense
Nadrieril
2019-04-14
1
-1
/
+1
|
*
improved_slice_patterns: Improve docs
Nadrieril
2019-04-14
1
-0
/
+21
|
*
improved_slice_patterns: doctests
Nadrieril
2019-04-14
2
-17
/
+26
[next]