~bfiedler/website

3077a908 — Ben Fiedler 9 days ago main
delete draft status
a57f8e07 — Ben Fiedler 9 days ago
Edits, mostly spelling and grammar
238747f8 — Ben Fiedler 26 days ago
Update toc as well
dc00f24b — Ben Fiedler 26 days ago
fix orientation of angle brackets
41bca2df — Ben Fiedler 26 days ago
Add some more information about System F
27e2cece — Ben Fiedler 26 days ago
Add a short block explaining what System F is and why it is useful
8ef5346f — Ben Fiedler 26 days ago
Add explanation why decidability of Idris type checking is surprising
d452cc7a — Ben Fiedler 26 days ago
Haskell, extensions: Remove mentions of System F

Type checking may be deciable depending on implementation of System F,
while type inference is always undecidable.
459f4ab6 — Ben Fiedler 26 days ago
Fix explanation for why OCaml type checking is undecidable

Ref: https://todo.sr.ht/~bfiedler/typing-is-hard/10
6abc13d4 — Ben Fiedler a month ago
words
30010b56 — Ben Fiedler a month ago
Add small detail about scrolling behaviour
c65ef4e2 — Ben Fiedler a month ago
words
9d7b9079 — Ben Fiedler a month ago
fix date wrapping on chrome-based browsers
69b34b9f — Ben Fiedler a month ago
webkit: fix code breaking lines

seems like a webkit-specific thing
29e3603b — Ben Fiedler a month ago
Fix date wrapping on webkit

Use keep-all to prevent wrapping
c07cbf7c — Ben Fiedler a month ago
Add new post
c21ff891 — Ben Fiedler a month ago
Fix styling on ultra-narrow (<360px) screens

* do not show dates for blog posts
* forcefully break words if they would overflow the page
2915f7b0 — Ben Fiedler 4 months ago
fix APC link
a26495fa — Ben Fiedler 5 months ago
Fix webring layout on mobile screens and when content is too short
5dc0e42a — Ben Fiedler 5 months ago
Add soatok's crypto posts
Next