0070a844d0
constructors could be shadowed by user defined ADT's such as "Tuple0", "Tuple2", etc. Now it uses "_Tuple0" to make it impossible to overlap with user defined ASTs. |
||
---|---|---|
.. | ||
Apply.elm | ||
Soundness.elm | ||
Soundness1.elm | ||
Soundness2.elm | ||
Soundness3.elm | ||
SoundnessAnnotated1.elm | ||
SoundnessAnnotated2.elm | ||
SoundnessAnnotated3.elm |