../ Apply.elmAdd some basic test files for the type checker.13 years ago Soundness1.elmUpdate tests to be actual programs, not just expressions. Content stays the same.13 years ago Soundness2.elmUpdate tests to be actual programs, not just expressions. Content stays the same.13 years ago Soundness3.elmUpdate tests to be actual programs, not just expressions. Content stays the same.13 years ago SoundnessAnnotated1.elmUpdate tests to be actual programs, not just expressions. Content stays the same.13 years ago SoundnessAnnotated2.elmUpdate tests to be actual programs, not just expressions. Content stays the same.13 years ago SoundnessAnnotated3.elmUpdate tests to be actual programs, not just expressions. Content stays the same.13 years ago