Andreas Stadelmeier
|
4547fbab40
|
add shuffle example to wildcard introduction
|
2024-03-06 00:33:54 +01:00 |
|
Andreas Stadelmeier
|
e15d61cdae
|
Add Global Type Inference introduction
|
2024-03-05 17:12:56 +01:00 |
|
Andreas Stadelmeier
|
fca93d7ec6
|
Introduce normal type placeholders \ntv
|
2024-02-12 15:28:44 +01:00 |
|
Andreas Stadelmeier
|
26678767c2
|
Cleanup, rephrase introduction. Fix and Cleanup type rules. Remove override
|
2024-02-07 17:29:41 +01:00 |
|
Andreas Stadelmeier
|
d4c43c04a7
|
Add to Soundness. Start Wellformed lemma, add T-Rules
|
2023-12-31 03:32:26 +01:00 |
|
Andreas Stadelmeier
|
14ebe4c360
|
Fix errrors in TYPE. Fix Unify soundness proof. start TYPE Soundness proof. Add elimination/transformation WildFJ <-> WildFJ-GT
|
2023-12-29 03:38:07 +01:00 |
|
Andreas Stadelmeier
|
ab5f9d0f73
|
Describe tph helper function
|
2023-12-27 19:03:25 +01:00 |
|
Andreas Stadelmeier
|
8f3d49d70f
|
Initial commit. Applying LipICS style to wildcard paper
|
2023-12-27 14:29:33 +01:00 |
|