Open EduardoRFS opened 3 years ago
introduce literals interpret literals show that you now have Type_error
clean in modules
properties of simple typed lambda calculus
introduce typing rules introduce term and types change abstraction to have param_typ
do infer
showcase it with deriving show
then enter recursive types hell
introduce literals interpret literals show that you now have Type_error
clean in modules
properties of simple typed lambda calculus
introduce typing rules introduce term and types change abstraction to have param_typ
do infer
showcase it with deriving show
then enter recursive types hell