Open klequis opened 2 years ago
Term-level: Values that appear in your code or the values your code evaluates to.
Type-level: Type variables, type constructors, and type classes which appear in type signatures and are used during static analysis an verification of your program.
Term-level: Values that appear in your code or the values your code evaluates to.
Type-level: Type variables, type constructors, and type classes which appear in type signatures and are used during static analysis an verification of your program.