feat: rename
Some checks failed
CI / build-nix (push) Has been cancelled
CI / deploy (push) Has been cancelled

This commit is contained in:
Youwen Wu 2025-02-15 13:17:19 -08:00
parent 261a8763fb
commit 297b36ccee
Signed by: youwen5
GPG key ID: 865658ED1FE61EC3
5 changed files with 12 additions and 12 deletions

View file

@ -1,4 +1,4 @@
# conditional finality - yet another developer blog # the involution - yet another developer blog
This repository hosts the source code for my blog, written in Haskell and This repository hosts the source code for my blog, written in Haskell and
powered by [hakyll](https://jaspervdj.be/hakyll/) and powered by [hakyll](https://jaspervdj.be/hakyll/) and

View file

@ -1,5 +1,5 @@
{ {
description = "conditional finality"; description = "the involution";
inputs.nixpkgs.url = "github:nixos/nixpkgs/nixos-unstable"; inputs.nixpkgs.url = "github:nixos/nixpkgs/nixos-unstable";
inputs.flake-utils.url = "github:numtide/flake-utils"; inputs.flake-utils.url = "github:numtide/flake-utils";

View file

@ -9,13 +9,13 @@ title: "a haskellian blog"
updated: "2024-05-25T12:00:00Z" updated: "2024-05-25T12:00:00Z"
--- ---
Welcome! This is the first post on _conditional finality_ and also one that tests all Welcome! This is the first post on _The Involution_ and also one that tests all
of the features. of the features.
<img <!--<img-->
alt="conditional finality" <!-- alt="conditional finality"-->
src="./images/conditional-finality.png" <!-- src="./images/conditional-finality.png"-->
/> <!--/>-->
> A monad is just a monoid in the category of endofunctors, what's the problem? > A monad is just a monoid in the category of endofunctors, what's the problem?

View file

@ -1,7 +1,7 @@
<!doctype html> <!doctype html>
<html lang="$lang$"> <html lang="$lang$">
<head> <head>
<title>$title$ | conditional finality</title> <title>$title$ | The Involution</title>
<meta charset="utf-8" /> <meta charset="utf-8" />
<meta name="viewport" content="width=device-width, initial-scale=1.0" /> <meta name="viewport" content="width=device-width, initial-scale=1.0" />
@ -116,7 +116,7 @@
<a <a
href="/" href="/"
class="dark:hover:text-muted-dark hover:text-muted-light transition-all duration-500 text-nowrap tracking-wide" class="dark:hover:text-muted-dark hover:text-muted-light transition-all duration-500 text-nowrap tracking-wide"
><em>Conditional Finality.</em></a ><em>The Involution.</em></a
> >
</h1> </h1>
<div <div
@ -124,7 +124,7 @@
></div> ></div>
</div> </div>
<p class="mt-8 mb-3 px-1 italic font-light"> <p class="mt-8 mb-3 px-1 italic font-light">
a web-log about computers, math, hacks, and all the rest. a web-log about computers and math and hacks.
</p> </p>
<a class="text-sm text-iris-light dark:text-iris-dark hover:text-love-light dark:hover:text-love-dark" href="https://youwen.dev" <a class="text-sm text-iris-light dark:text-iris-dark hover:text-love-light dark:hover:text-love-dark" href="https://youwen.dev"
><em>by </em>Youwen Wu</a ><em>by </em>Youwen Wu</a

View file

@ -28,13 +28,13 @@ import Text.Pandoc.Options (
-- PERSONALIZATION -- PERSONALIZATION
mySiteName :: String mySiteName :: String
mySiteName = "conditional finality" mySiteName = "The Involution"
mySiteRoot :: String mySiteRoot :: String
mySiteRoot = "https://blog.youwen.dev" mySiteRoot = "https://blog.youwen.dev"
myFeedTitle :: String myFeedTitle :: String
myFeedTitle = "conditional finality" myFeedTitle = "The Involution"
myFeedDescription :: String myFeedDescription :: String
myFeedDescription = "on computers, hacks, math, and life" myFeedDescription = "on computers, hacks, math, and life"