/* Without JS the hamburger toggle can never open the menu, so show it permanently instead. Its "open" styling is position: absolute (built for a transient dropdown), so also drop it into normal flow — stacked below the logo — or it floats over whatever content follows the header. */ #main-header > div { flex-direction: column !important; align-items: flex-start !important; } #navigation-menu { display: flex !important; position: static !important; } #toggle-navigation-menu { display: none !important; }

Hello World!

Hi, I’m a theme for Astro, a simple starter that you can use to create your website or blog. If you want to know more about how you can customise me, add more posts, and make it your own, click on the GitHub icon link below and it will take you to my repo.

Find me on

Posts

2026-08-03
Improving your number sense

Notes

Koka quine

26-08-07, 02:01

A short quine in Koka, fairly standard “apply doulbe printing lambda’s source code to itself” trick

fun main() print((fn(s) "fun main() print((" ++ s ++ ")(" ++ s.show ++ "))")("fn(s) \"fun main() print((\" ++ s ++ \")(\" ++ s.show ++ \"))\""))