|
|
2afc2b9d55
|
Add id links to the headers and tweak link formatting
|
2025-07-12 01:25:55 -04:00 |
|
|
|
37022f7bdb
|
More work on post
|
2025-07-11 22:48:03 -04:00 |
|
|
|
1553ec320b
|
Checkpoint draft
|
2025-07-09 20:00:02 -04:00 |
|
|
|
09ccbf0ade
|
Wording tweak
|
2025-07-05 23:56:19 -04:00 |
|
|
|
106d46cc3c
|
Proof-Search Friendly Non-Equality Proofs
|
2025-07-05 23:53:41 -04:00 |
|
|
|
99b7ca322e
|
publish
|
2025-03-16 20:02:21 -04:00 |
|
|
|
6f7be736e9
|
freshlist finished draft
|
2025-03-16 19:42:29 -04:00 |
|
|
|
8e4adf7f3b
|
Freshlist checkpoint
|
2025-03-16 17:44:58 -04:00 |
|
|
|
8fc5a0fbda
|
FreshLists skeleton
|
2025-03-15 18:22:52 -04:00 |
|
|
|
63e581ac03
|
Select from static format strings at runtime
|
2025-02-14 23:42:18 -05:00 |
|
|
|
82485924be
|
Spelling corrections and typo fixes
|
2025-02-14 16:45:53 -05:00 |
|
|
|
585b2be5ab
|
Printf post time
|
2025-02-11 18:24:34 -05:00 |
|
|
|
f887be396b
|
Writing checkpoint
|
2025-02-10 09:37:42 -05:00 |
|
|
|
972b73f665
|
Link styling tweaks
|
2025-02-09 17:27:31 -05:00 |
|
|
|
bdceab7652
|
Start of variadic printf post
|
2025-02-09 06:37:26 -05:00 |
|
|
|
4c3e514a14
|
First post
|
2025-02-05 06:02:05 -05:00 |
|
|
|
804b51aaa6
|
Style tweaks
|
2025-02-04 15:57:53 -05:00 |
|
|
|
37e92392ca
|
Basic syntax highlighting
|
2025-02-04 03:10:40 -05:00 |
|
|
|
43585ac89e
|
Move idris projects to right place
|
2025-01-20 21:54:54 -05:00 |
|
