on a6bfa5f help sign in
elk/tests/good
7 files
../ Apply.elmAdd some basic test files for the type checker. Soundness1.elmAdd some basic test files for the type checker. Soundness2.elmAdd some basic test files for the type checker. Soundness3.elmAdd some basic test files for the type checker. SoundnessAnnotated1.elmAdd some basic test files for the type checker. SoundnessAnnotated2.elmAdd some basic test files for the type checker. SoundnessAnnotated3.elmAdd some basic test files for the type checker.