← Back to branch summary

~scompall/+junk/high-cost-of-anyval-subclasses

From Revision 105 to 86

expand all expand all

Rev   Summary Authors Date Diff Files
105
wrong word; missing period
Stephen Compall 7 years ago Diff Files
104
Revert scalajs build.sbt changes
Stephen Compall 7 years ago Diff Files
103
Include articles
Stephen Compall 7 years ago Diff Files
102
Add zero and append extraction
Stephen Compall 7 years ago Diff Files
101
JS testing
Stephen Compall 7 years ago Diff Files
100
Several new tests for bonus content
Stephen Compall 7 years ago Diff Files
99
Remove unused dirs; list order of source file examples
Stephen Compall 7 years ago Diff Files
98
Relicense under GPLv3; add README
Stephen Compall 7 years ago Diff Files
97
Include entry into the leibniz universe
Stephen Compall 7 years ago Diff Files
96
Remove test dependencies
Stephen Compall 7 years ago Diff Files
95
Up 2.11 cross to 2.11.9
Stephen Compall 7 years ago Diff Files
94
Support kind-projector with cross
Stephen Compall 7 years ago Diff Files
93
Example of exposing subtyping relation globally
Stephen Compall 7 years ago Diff Files
92
Validating narrow example
Stephen Compall 7 years ago Diff Files
91
Unidirectional subst examples
Stephen Compall 7 years ago Diff Files
90
Put subst examples right in the file for quick experiments
Stephen Compall 7 years ago Diff Files
89
Tagging example for newtyping
Stephen Compall 7 years ago Diff Files
88
Add subst
Stephen Compall 7 years ago Diff Files
87
Use kind-projector 0.9.3
Stephen Compall 7 years ago Diff Files
86
Show instance for Label
Stephen Compall 7 years ago Diff Files