summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2026-10-15I'm unhappy with it, the formal one is better8oldr
2026-10-13Better inline display8oldr
2026-10-13Lecture 18oldr
2026-10-13Second hour8oldr
2026-10-13First third8oldr
2026-10-13Initial commit8oldr