https://giml-lang.org A functional programming language with emphasis on structural typing.
Experimental type system and type inference algorithms
