A programming language. Static types. Full type inference. Garbage collection. --- not stable
-
Updated
Jul 7, 2024 - C++
A programming language. Static types. Full type inference. Garbage collection. --- not stable
An R 📦 to insert function argument and return type contracts
Add a description, image, and links to the typechecking topic page so that developers can more easily learn about it.
To associate your repository with the typechecking topic, visit your repo's landing page and select "manage topics."