7 commits

Author	SHA1	Message	Date
Nathan McCarty	f887be396b	Writing checkpoint	2025-02-10 09:37:42 -05:00
Nathan McCarty	972b73f665	Link styling tweaks	2025-02-09 17:27:31 -05:00
Nathan McCarty	bdceab7652	Start of variadic printf post	2025-02-09 06:37:26 -05:00
Nathan McCarty	4c3e514a14	First post	2025-02-05 06:02:05 -05:00
Nathan McCarty	804b51aaa6	Style tweaks	2025-02-04 15:57:53 -05:00
Nathan McCarty	37e92392ca	Basic syntax highlighting	2025-02-04 03:10:40 -05:00
Nathan McCarty	43585ac89e	Move idris projects to right place	2025-01-20 21:54:54 -05:00