Posts for year 2021 2021-02-01 12:30Logic in Type Theory II: Identity Types 2021-01-31 00:00Leap years and continued fractions