Make kernel laws consistent with core laws#1922
Merged
kailuowang merged 21 commits intotypelevel:masterfrom LukaJCB:make-kernel-laws-consistentOct 6, 2017
+1,011-763
Commits
Commits on Sep 28, 2017
- committed
Luka Jacobowitz - committedLuka Jacobowitz
- committedLuka Jacobowitz
- committedLuka Jacobowitz
- committedLuka Jacobowitz
- committedLuka Jacobowitz
- committedLuka Jacobowitz
- committedLuka Jacobowitz
- committedLuka Jacobowitz
- committedLuka Jacobowitz
- committedLuka Jacobowitz
- committedLuka Jacobowitz
- committedLuka Jacobowitz
Commits on Oct 3, 2017
- authored andLukaJCBcommittedLuka Jacobowitz
Commits on Oct 4, 2017
- committedLuka Jacobowitz
- committedLuka Jacobowitz
- committedLuka Jacobowitz
- committedLuka Jacobowitz
- committedLuka Jacobowitz
Commits on Oct 5, 2017
- committedLuka Jacobowitz
Commits on Oct 6, 2017
- committedLuka Jacobowitz