![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/blank.png){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[TXT]](/~oc45ujef/.img/a.png)
![[TXT]](/icons/text.gif){kind=icon}
![[TXT]](/icons/layout.png){kind=icon}
![[IMG]](apl.png)
![[TXT]](/~oc45ujef/.img/p.png)
![[TXT]](/~oc45ujef/.img/h.png)
![[ ]](/icons/layout.gif){kind=icon}
![[TXT]](/icons/tex.png){kind=icon}
![[ ]](/icons/text.png){kind=icon}
![[TXT]](/icons/c.png){kind=icon}
![[IMG]](nix.png)
![[IMG]](outlook.png)
![[IMG]](russel.png)
![[TXT]](/icons/quill.png){kind=icon}
![[IMG]](wget-curl.jpg)
![[TXT]](/icons/script.png){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| art/ | 2024-09-05 15:18 | - | |
| bg/ | 2022-05-24 21:30 | - | |
| src/ | 2025-02-05 14:48 | - | |
| talks/ | 2025-01-04 20:45 | - | |
| Semilattice.agda | 2024-03-20 19:48 | 5.4K | Properties of Semilattices |
| aoc.idr | 2024-12-01 19:52 | 602 | |
| apache-force-utf-8.txt | 2022-09-23 12:09 | 49 | Force Apache to serve .agda as 'text/plain; charset=utf-8' |
| apache-icons.html | 2023-12-27 00:22 | 11K | A list of available icons for apache |
| apl.png | 2022-09-11 03:04 | 386K | |
| avicenna.v | 2024-05-21 21:27 | 517 | |
| bf.pl | 2023-10-22 00:42 | 1.5K | A Brainfuck interpreter written in Prolog |
| bt.v | 2023-05-09 10:46 | 3.3K | |
| canonical.v | 2024-08-21 14:56 | 387 | |
| canonical_curry.v | 2024-08-21 13:56 | 1.1K | |
| category.agda | 2023-02-28 16:12 | 1.5K | |
| clash.hs | 2024-03-21 18:58 | 2.0K | |
| colambda.agda | 2024-04-01 21:11 | 354 | |
| creeper.hs | 2024-07-09 12:35 | 462 | |
| creeper.ml | 2024-07-09 14:27 | 343 | |
| curry.agda | 2024-06-07 15:40 | 188 | |
| ded.thy | 2024-12-13 17:05 | 885 | |
| disj.agda | 2024-08-04 10:24 | 2.1K | |
| distributions.pdf | 2023-10-06 22:47 | 115K | Table of Common Distributions |
| distributions.tex | 2023-10-06 22:47 | 6.1K | |
| e2-mode.el | 2022-10-15 12:25 | 732 | |
| fib.cpp | 2019-04-10 15:09 | 312 | |
| girard.agda | 2024-05-08 18:15 | 1.0K | |
| gloin.agda | 2024-11-15 12:17 | 565 | |
| gnu-emacs-reference-card.pdf | 2022-10-13 04:46 | 109K | |
| het.hs | 2024-12-29 15:46 | 631 | |
| hilbert.hs | 2023-07-05 20:09 | 1.6K | |
| html.el | 2022-11-28 14:45 | 351 | |
| html.pl | 2023-09-13 16:15 | 293 | |
| hutton-cps.hs | 2024-07-28 20:24 | 582 | |
| inputrc | 2023-01-16 15:13 | 122 | |
| io.elpi | 2023-12-18 17:39 | 1.0K | |
| lambda.xsl | 2024-05-03 21:00 | 2.3K | |
| lindenmayer.hs | 2024-01-15 23:03 | 5.1K | Rendering various L-Systems to {svg,ps} |
| loader.c | 2023-04-17 14:42 | 1.3K | |
| loro.user.css | 2024-08-20 14:16 | 336 | |
| ltl.agda | 2024-10-18 19:23 | 3.6K | |
| merge.agda | 2024-01-11 16:46 | 3.1K | MergeSort in Agda |
| mmt-mode.el | 2023-04-19 16:36 | 3.4K | |
| mockingbird.agda | 2024-10-21 17:12 | 3.8K | |
| mod.hs | 2023-06-08 17:39 | 581 | |
| nat-cp.agda | 2024-06-19 12:01 | 1.2K | |
| nix.png | 2023-09-12 12:07 | 249K | |
| odd.hs | 2024-05-22 22:40 | 393 | |
| odd2.hs | 2024-06-24 21:22 | 129 | |
| outlook.png | 2022-11-15 15:47 | 1.4K | |
| prf.pl | 2024-08-28 13:43 | 1.9K | |
| pso.bqn | 2023-05-15 15:51 | 402 | |
| python.hs | 2022-04-03 11:55 | 290 | |
| recursive-types-for-free.txt | 2014-10-21 22:45 | 23K | |
| regex.agda | 2024-06-26 22:48 | 2.5K | |
| russel.png | 2022-11-26 21:48 | 204K | |
| sets.v | 2024-05-06 14:15 | 813 | |
| songs.html | 2024-12-20 16:17 | 41K | Songs I like |
| stlc.agda | 2024-11-28 20:16 | 4.9K | |
| stream.agda | 2024-02-01 16:05 | 896 | |
| strips.pl | 2024-01-26 12:08 | 861 | |
| tagless.hs | 2025-01-01 01:18 | 3.2K | A tagless interpreter using type families |
| taocp_paper.pdf | 2023-03-12 18:42 | 157K | |
| taocp_presentation.pdf | 2023-02-21 20:15 | 567K | Oriented Trees - TAoCP-Seminar |
| template-html.org | 2024-04-01 21:39 | 449 | |
| traverse.hs | 2022-11-10 17:42 | 497 | |
| ue7.v | 2024-07-01 23:07 | 1.2K | |
| unknuth.user.css | 2024-04-20 14:10 | 352 | |
| voegel.pl | 2023-05-30 10:17 | 4.0K | |
| voronoi.c | 2024-04-21 21:47 | 4.7K | |
| wget-curl.jpg | 2023-09-02 00:02 | 375K | |
| while.hs | 2024-04-16 14:19 | 1.7K | |
| wwwcip-list.sh | 2024-08-11 19:42 | 234 | |
| zip.hs | 2024-09-20 12:56 | 570 | |