|
|
79f8700d41
|
added dead links
|
2023-01-28 14:14:16 +01:00 |
|
|
|
4d5eea06d8
|
added work page to site
|
2023-01-28 14:11:09 +01:00 |
|
|
|
dd5f907341
|
compress image on about
|
2023-01-27 23:42:29 +01:00 |
|
|
|
5212c73ba4
|
fix dead link
|
2023-01-27 23:06:43 +01:00 |
|
|
|
4de9104c94
|
added about page
|
2023-01-27 17:38:22 +01:00 |
|
|
|
c179b18455
|
another thing I'd like to write sometime
|
2022-12-24 02:09:20 +01:00 |
|
|
|
e15f3ac5cb
|
consistent naming
|
2022-12-24 02:07:43 +01:00 |
|
|
|
c392953675
|
add rough draft for fibbonacci post
|
2022-12-24 02:04:12 +01:00 |
|
|
|
a1fa31d547
|
added link to rijkes now published HoTT book
|
2022-12-22 18:17:00 +01:00 |
|
|
|
2d33d6dbb7
|
post haskell and logic
|
2022-12-15 20:17:08 +01:00 |
|
|
|
bb180bc6cb
|
wrote even more on haskell and logic, redo för renskrivning
|
2022-12-11 19:23:43 +01:00 |
|
|
|
b6f84312e6
|
write a lot on haskell and logic draft
|
2022-12-10 22:52:39 +01:00 |
|
|
|
d50ed4133e
|
split haskell post into purity and logic part, post purity part
|
2022-12-10 00:28:12 +01:00 |
|
|
|
70c3c50dee
|
added haskell and logic draft
|
2022-12-09 21:16:44 +01:00 |
|
|
|
8bc66a9232
|
updated css
|
2022-12-09 20:37:13 +01:00 |
|
|
|
a8cfcb9437
|
archived some pages, edited SECD page a little bit
|
2022-12-09 20:14:17 +01:00 |
|
|
|
344262db2a
|
style change
|
2022-12-09 20:02:28 +01:00 |
|
|
|
12ff557e77
|
minimize website
|
2022-10-08 15:13:30 +02:00 |
|
|
|
fe6f7ebb58
|
load larger css files to after page
|
2022-08-09 14:55:09 +02:00 |
|
|
|
31eda5ac81
|
move /misc to /agda, add KUIP and UIPK
|
2022-06-30 18:53:55 +02:00 |
|
|
|
94f3f88067
|
fixed file name
|
2022-06-23 22:14:28 +02:00 |
|
|
|
f69b6e6959
|
add some agda stuff
|
2022-06-23 22:12:24 +02:00 |
|
|
|
11c0a5f856
|
update
|
2022-06-23 22:10:35 +02:00 |
|
|
|
22214b8a04
|
test adding agda page
|
2022-06-23 22:07:27 +02:00 |
|
|
|
62bf30dd50
|
I'm an idiot
|
2022-04-01 20:11:04 +02:00 |
|
|
|
9db9cdbc0d
|
cleaned up css file
|
2022-04-01 20:01:13 +02:00 |
|
|
|
6c61cb11a7
|
factor out css to two files for performance
|
2022-04-01 19:56:45 +02:00 |
|
|
|
791fa607da
|
switch to using 'monospace' rather than firacode. self host katex
|
2022-04-01 19:51:48 +02:00 |
|
|
|
52190776d7
|
e
|
2022-03-14 11:15:47 +01:00 |
|
|
|
ed5ecbdbe3
|
slight update
|
2022-03-14 11:02:23 +01:00 |
|
|
|
d7b728c923
|
center LaTeX stuff in SECD post
|
2022-01-27 22:23:00 +01:00 |
|
|
|
27402ebcdb
|
prettify blog post listing page a bit
|
2022-01-27 20:36:06 +01:00 |
|
|
|
890cc7f928
|
tagged codeblocks with language
|
2022-01-27 20:29:29 +01:00 |
|
|
|
d46ddf9a7a
|
replaced " with ` where appropriate
|
2022-01-27 20:26:20 +01:00 |
|
|
|
2409c1f3a1
|
removed unusused scss file
|
2022-01-27 20:23:37 +01:00 |
|
|
|
62b5c1f9f3
|
added readme
|
2022-01-27 20:20:23 +01:00 |
|
|
|
c69e7d326a
|
adjusted column width slightly
|
2022-01-27 20:09:23 +01:00 |
|
|
|
f644309ae0
|
fix issue with SECD machine post
|
2022-01-27 20:06:52 +01:00 |
|
|
|
a21faac1e0
|
add all my posts
|
2022-01-27 19:44:11 +01:00 |
|
|
|
14218bbce5
|
did all layout stuff, just need my posts now
|
2022-01-27 18:34:28 +01:00 |
|
|
|
94da16f45e
|
created basic site structure and added support for katex and lagda
|
2022-01-26 21:35:10 +01:00 |
|
