Georges Dupéron cae1d4d430 Improved literate programming		2017-05-31 13:39:23 +02:00
..
invariant-phantom	Use dotlambda's λ. notation instead of #λ.	2017-04-26 02:22:57 +02:00
adt-pre-declarations.rkt	Draft now compiles again.	2017-05-03 12:57:41 +02:00
assumption-equivalent-types-same-type.rkt	Closes FB case 176 Fix the type of nodes for (non-)polymorphic graph types	2017-01-20 18:28:37 +01:00
ck.rkt	Preliminary support for tagged structures, early draft for unions	2016-10-03 23:55:26 +02:00
invariant-phantom-tr-assumptions.rkt	Added checks for the assumptions I made on the behaviour of TR concerning phantom types, covariance, contravariance and its ability to recognize different formulations of the same type (or of a subtype or supertype). Updated the mindmap notes.	2017-01-06 19:05:43 +01:00
invariant-phantom-tr-assumptions2.rkt	Added checks for the assumptions I made on the behaviour of TR concerning phantom types, covariance, contravariance and its ability to recognize different formulations of the same type (or of a subtype or supertype). Updated the mindmap notes.	2017-01-06 19:05:43 +01:00
speed-many-poly.rkt	Checked that having many polymorphic arguments to a function is (no longer?) a problem. Things start getting slow above 200 polymorphic variables, but currying the function allows more arguments without a significant performance impact.	2017-04-28 15:35:48 +02:00
speed-many-poly2.rkt	Checked that having many polymorphic arguments to a function is (no longer?) a problem. Things start getting slow above 200 polymorphic variables, but currying the function allows more arguments without a significant performance impact.	2017-04-28 15:35:48 +02:00
test-flexible-with.rkt	Use dotlambda's λ. notation instead of #λ.	2017-04-26 02:22:57 +02:00
test-flexible-with2.rkt	Improved literate programming	2017-05-31 13:39:23 +02:00
test-flexible-with2b.rkt	Improved literate programming	2017-05-31 13:39:23 +02:00
test-graph-low1.rkt	Draft now compiles again.	2017-05-03 12:57:41 +02:00
test-graph-type.rkt	Timing info on test-graph-type.	2017-01-26 17:18:28 +01:00
test-traversal-1.rkt	Cleanup	2016-11-10 18:17:04 +01:00
test-traversal-2.rkt	Closes FB case 189 Switch phc-graph to the packaged subtemplate	2017-01-26 19:32:06 +01:00
traversal-util.rkt	Closes FB case 190 Rename λ-replace-in-instance to !λ-replace-in-instance	2017-01-26 21:20:51 +01:00