[Main website]

tech/type-system-test

https://counterexamples.org/

Show type-system problematic examples. Useful for testing a type system expressivity.