Date:: April 15th, 2025
Synopsis
This is a continuation from the last lecture. Now we want to be able to give types for functions like id :: a -> a.
Date:: April 15th, 2025
This is a continuation from the last lecture. Now we want to be able to give types for functions like id :: a -> a.