-
Updated
Oct 30, 2020 - Haskell
type-system
Here are 166 public repositories matching this topic...
-
Updated
Nov 26, 2020 - TypeScript
-
Updated
Jan 17, 2020
-
Updated
Aug 27, 2020 - TypeScript
-
Updated
Nov 22, 2020 - Rust
-
Updated
Nov 16, 2020 - Python
-
Updated
Oct 28, 2020 - TypeScript
-
Updated
Apr 3, 2017 - Rust
-
Updated
Nov 26, 2020 - Rust
-
Updated
Apr 29, 2020 - HTML
-
Updated
Nov 21, 2020 - TypeScript
-
Updated
Jun 22, 2019 - Rust
-
Updated
Nov 26, 2020 - Java
-
Updated
Oct 16, 2020 - OCaml
-
Updated
Jul 3, 2020 - Swift
-
Updated
Nov 8, 2020 - OCaml
-
Updated
Nov 22, 2020 - Python
-
Updated
Mar 9, 2018 - JavaScript
-
Updated
Mar 16, 2017 - Rust
-
Updated
Jul 27, 2019 - Haskell
-
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
Nov 14, 2020 - Haskell
-
Updated
Aug 7, 2017 - JavaScript
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