File tree Expand file tree Collapse file tree 1 file changed +3
-2
lines changed Expand file tree Collapse file tree 1 file changed +3
-2
lines changed Original file line number Diff line number Diff line change @@ -11,7 +11,7 @@ items = [
11
11
name = " recursive-solver"
12
12
label = " Experiment with a recursive chalk solver"
13
13
items = [
14
- { label = " write-up the idea that Niko had" , href = " http://example.org " },
14
+ { label = " write-up the idea that Niko had" },
15
15
{ label = " build prototype and evaluate" },
16
16
]
17
17
@@ -36,10 +36,11 @@ items = [
36
36
name = " map-chalk-types-to-rustc-types"
37
37
label = " Map chalk types to rustc types"
38
38
items = [
39
+ { label = " Make intern methods take &self" , href =" https://github.com/rust-lang-nursery/chalk/issues/328" },
40
+ { label = " Make data methods take &self" },
39
41
{ label = " Move Identifier to TypeFamily" },
40
42
{ label = " Adapt rutsc's debruijn index model" , port =" debruijn" },
41
43
{ label = " Remove all vectors, boxes" },
42
- { label = " Make intern methods take &self" },
43
44
]
44
45
45
46
[[group ]]
You can’t perform that action at this time.
0 commit comments