Projects with this topic
Sort by:
-
https://giml-lang.org A functional programming language with emphasis on structural typing.
Updated -
Experimental type system and type inference algorithms
Updated
https://giml-lang.org A functional programming language with emphasis on structural typing.
Experimental type system and type inference algorithms
