-
Updated
Oct 1, 2020 - Haskell
type-system
Here are 165 public repositories matching this topic...
-
Updated
Oct 16, 2020 - TypeScript
-
Updated
Jan 17, 2020
-
Updated
Aug 27, 2020 - TypeScript
-
Updated
Oct 18, 2020 - Rust
-
Updated
May 15, 2020 - Python
-
Updated
Apr 3, 2017 - Rust
-
Updated
Apr 29, 2020 - HTML
-
Updated
Oct 20, 2020 - Rust
-
Updated
Oct 18, 2020 - TypeScript
-
Updated
Jun 22, 2019 - Rust
-
Updated
Oct 19, 2020 - Java
-
Updated
Oct 16, 2020 - OCaml
-
Updated
Jul 3, 2020 - Swift
-
Updated
Mar 9, 2018 - JavaScript
-
Updated
Oct 19, 2020 - Python
-
Updated
Oct 18, 2020 - Perl
-
Updated
Mar 16, 2017 - Rust
-
Updated
Jul 27, 2019 - Haskell
-
Updated
Oct 17, 2020 - OCaml
-
Updated
Jul 5, 2020 - JavaScript
-
Updated
Apr 14, 2011 - Haskell
-
Updated
Sep 12, 2020 - Julia
-
Updated
Dec 20, 2019
-
Updated
Oct 1, 2020 - Julia
-
Updated
Apr 8, 2020 - Python
-
Updated
Aug 7, 2017 - JavaScript
-
Updated
Oct 19, 2020 - Haskell
Improve this page
Add a description, image, and links to the type-system topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the type-system topic, visit your repo's landing page and select "manage topics."
We have a reasonably good test suite with a lot of unit tests and a few test programs. It's very helpful and I use it all the time. But sadly, there are many cases that are not covered by the test suite. We can make it even more helpful! It'd be wonderful if people wanted to help out with this. It's also a very easy way to help out this project. I'm happy to assist anyone who wants to make a contr