Skip to content

Commit d9784d0

Browse files
imteekayimteekay
committed
*
1 parent 7c4e4e9 commit d9784d0

File tree

1 file changed

+6
-0
lines changed

1 file changed

+6
-0
lines changed

‎to-study.md

+6
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
# To Study
2+
3+
- Static Soundness
4+
- Unsound: it's possible to pass the type check but fail in runtime with a dynamic type error
5+
- Calculi
6+
- Covarience

0 commit comments

Comments
 (0)