> with typing syntax Programs that didn't type check were excluded. https://github.com/greensoftwarelab/Energy-Languages/issues/3#issuecomment https://github.

> with typing syntax Programs that didn't type check were excluded. https://github.com/greensoftwarelab/Energy-Languages/issues/3#issuecomment https://github.com/greensoftwarelab/Energy-Languages/issues/...