opfez
/
codex
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

minor improvements, improve link formatting, improve css

This commit is contained in:
opFez 2021-07-31 18:01:59 +02:00
parent 8452b46b25
commit fc99d0fa15
8 changed files with 40 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
TODO
View File

@ -1,4 +0,0 @@
Add support for quoting.
Pages to write:
- category theory (more general, math)

7
TODO.org Normal file
View File

@ -0,0 +1,7 @@
Add support for quoting.
Pages to write:
- category theory (more general, math)
- A more general "computation" page instead of linking to programming language
in the index. This will also allow for linking to pages like lambda calculus
and others.

9
format.c
View File

@ -142,7 +142,14 @@ emit_internal_implicit_link(FILE *input, FILE *output)
while ((*(page_ptr++) = fgetc(input)) != '}'); while ((*(page_ptr++) = fgetc(input)) != '}');
*(page_ptr - 1) = '\0'; *(page_ptr - 1) = '\0';
fprintf(output, "<a href=\"%s.html\">{%s}</a>", page, page); char pagename[1024];
size_t i;
for (i = 0; page[i] != '\0'; i++) {
pagename[i] = (page[i] == '-' ? ' ' : page[i]);
}
pagename[i] = '\0';
fprintf(output, "<a href=\"%s.html\">{%s}</a>", page, pagename);
} }
void void

1
resources/header.html
View File

@ -3,4 +3,5 @@
<head> <head>
<meta charset="utf-8"/> <meta charset="utf-8"/>
<link rel="stylesheet" href="../resources/style.css"> <link rel="stylesheet" href="../resources/style.css">
<title>Codex</title>
<body> <body>

14
resources/style.css
View File

@ -1,6 +1,10 @@
:root { :root {
--fg: #ddd; --fg: #ddd;
--bg: #111; --bg: #111;
--pre-bg: #1a1a1a;
/* --bg: #eee; */
/* --fg: #111; */
/* --pre-bg: #dedede */
} }
body { body {
@ -9,6 +13,7 @@ body {
font-family: serif; font-family: serif;
margin: 2em; margin: 2em;
max-width: 40%; max-width: 40%;
margin-left: 4em;
} }
a { a {
@ -23,4 +28,13 @@ a:hover {
pre { pre {
font-size: 14px; font-size: 14px;
background: var(--pre-bg);
padding: 0.5em;
}
hr {
width: 50%;
border-top: 0px;
text-align: left;
margin-left: 0;
} }

6
site-src/haskell.wtn
View File

@ -1,6 +1,6 @@
* Haskell * Haskell
Haskell is a purely functional, lazy, strongly and statically typed, general Haskell is a purely functional, lazy, strongly and statically typed, general
purpose programming language based on the typed {lambda-calculus lambda purpose programming language based on the typed {lambda-calculus}. It famously
calculus}. It famously uses monads to express I/O interactions. Many of its uses monads to express I/O interactions. Many of its strengths come from its
strengths come from its powerful type system. powerful type system.

4
site-src/index.wtn
View File

@ -2,4 +2,8 @@
Welcome to {codex}. Welcome to {codex}.
** Topics
{programming-languages Programming languages}
{site-index Full site index} {site-index Full site index}

6
site-src/lisp.wtn
View File

@ -4,9 +4,9 @@
thinking previously impossible thoughts.</blockquote> thinking previously impossible thoughts.</blockquote>
- Edsger Dijkstra - Edsger Dijkstra
Lisp is a family of {programming-languages programming languages} which uses Lisp is a family of {programming-languages} which uses s-expressions for
s-expressions for expressing both source code and data. Its syntax is fully expressing both source code and data. Its syntax is fully parenthesized and
parenthesized and features prefix notation. features prefix notation.
Some dialects of Lisp include Common Lisp, Scheme and Clojure. Some dialects of Lisp include Common Lisp, Scheme and Clojure.