# HG changeset patch # User Adam Chlipala # Date 1215995125 14400 # Node ID f7c6ceb87bbdb8c1c16c7a1445d79d2de4d1fc06 # Parent 91027db5a07cb31c7158d610d694272343eb01de Three-argument web function test diff -r 91027db5a07c -r f7c6ceb87bbd tests/plink3.lac --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/plink3.lac Sun Jul 13 20:25:25 2008 -0400 @@ -0,0 +1,10 @@ +val pA = fn size1 => fn size2 => fn size3 => +

Hello World!

+ +

Epilogue

+ + +val main = fn () => +
  • Size 5
    • +
  • Size 10
    • +