eikopf
Home
Blog
02 Sep, 2025
Calendars Aren't Just Plain Data
06 May, 2025
Newtyped Indices are Proofs
#calendars
#design
#icalendar
#rust
#types