Writings and Ramblings

HOME
CATEGORIES
TAGS
ARCHIVES
ABOUT

Home Tags idris

Tag

idris 1

Type Theory Part I: Introduction to Type Theory Sep 13, 2025

Recently Updated

Ranking My Subjects
Type Theory Part II: Proving Natural Addition Commutes from First Principles
A Strange Painting
Weekend At Inverell
Halmos' Set Theory: a Review

Trending Tags

maths programming computer-science review set-theory technical book category-theory philosophy python

© 2025 Mukund Srinivasan. Some rights reserved.

Trending Tags

maths programming computer-science review set-theory technical book category-theory philosophy python

A new version of content is available.