You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 

4 lines
127 B

# Excercises: Be Kind
1. `a` is of kind `*`
2. `b` is of kind `* -> *`, `T` has kind `* -> *`
3. `c` is of kinde `* -> * -> *`