18 commits

Author	SHA1	Message	Date
Michael Zhang	608503637c	inductive types wip	2023-03-29 15:03:10 -05:00
Michael Zhang	806b929d16	Add links to nav	2023-02-04 01:21:21 -06:00
Michael Zhang	9046fcc57e	decentralized identity blog post, plus some logseq support	2023-02-04 01:21:21 -06:00
Michael Zhang	7b065d5192	Change the font in CSS too	2023-02-04 01:21:21 -06:00
Michael Zhang	89c28d0a45	Forgot to account for dark theme	2023-02-04 01:21:21 -06:00
Michael Zhang	ad3bd9bce1	Relayout home page	2023-02-04 01:21:21 -06:00
Michael Zhang	baa186ea5a	Ye	2023-02-04 01:21:21 -06:00
Michael Zhang	fe2c3f2524	Tag on light theme	2023-02-04 01:21:20 -06:00
Michael Zhang	604e47888b	Add real email	2023-02-04 01:21:20 -06:00
Michael Zhang	768a5b1809	Cosmetics	2023-02-04 01:21:20 -06:00
Michael Zhang	44ba9624f7	A bit more	2023-02-04 01:21:20 -06:00
Michael Zhang	56bbbc5dee	Start drafting CEK	2023-02-04 01:21:20 -06:00
Michael Zhang	648ed87a91	New home page	2022-01-24 18:35:39 -06:00
Michael Zhang	e59fdc101c	Add agda stylesheet + Mono font	2021-12-12 13:56:54 -06:00
Michael Zhang	b04175954b	new post	2021-08-30 02:52:21 -05:00
Michael Zhang	eae8265313	projs	2021-07-06 17:27:33 -05:00
Michael Zhang	8c1ee0d40e	upd	2021-07-06 16:57:42 -05:00
Michael Zhang	552b6b3892	Hugo commit	2020-11-03 16:14:45 -06:00

Renamed from sass/main.scss (Browse further)