Start working on the slides
This commit is contained in:
commit
1adcb66891
12 changed files with 474 additions and 0 deletions
2
.gitignore
vendored
Normal file
2
.gitignore
vendored
Normal file
|
@ -0,0 +1,2 @@
|
|||
iotas.pdf
|
||||
result
|
82
flake.lock
generated
Normal file
82
flake.lock
generated
Normal file
|
@ -0,0 +1,82 @@
|
|||
{
|
||||
"nodes": {
|
||||
"flake-utils": {
|
||||
"inputs": {
|
||||
"systems": "systems"
|
||||
},
|
||||
"locked": {
|
||||
"lastModified": 1731533236,
|
||||
"narHash": "sha256-l0KFg5HjrsfsO/JpG+r7fRrqm12kzFHyUHqHCVpMMbI=",
|
||||
"owner": "numtide",
|
||||
"repo": "flake-utils",
|
||||
"rev": "11707dc2f618dd54ca8739b309ec4fc024de578b",
|
||||
"type": "github"
|
||||
},
|
||||
"original": {
|
||||
"owner": "numtide",
|
||||
"repo": "flake-utils",
|
||||
"type": "github"
|
||||
}
|
||||
},
|
||||
"nixpkgs": {
|
||||
"locked": {
|
||||
"lastModified": 1744932701,
|
||||
"narHash": "sha256-fusHbZCyv126cyArUwwKrLdCkgVAIaa/fQJYFlCEqiU=",
|
||||
"owner": "nixos",
|
||||
"repo": "nixpkgs",
|
||||
"rev": "b024ced1aac25639f8ca8fdfc2f8c4fbd66c48ef",
|
||||
"type": "github"
|
||||
},
|
||||
"original": {
|
||||
"owner": "nixos",
|
||||
"ref": "nixos-unstable",
|
||||
"repo": "nixpkgs",
|
||||
"type": "github"
|
||||
}
|
||||
},
|
||||
"root": {
|
||||
"inputs": {
|
||||
"flake-utils": "flake-utils",
|
||||
"nixpkgs": "nixpkgs",
|
||||
"typix": "typix"
|
||||
}
|
||||
},
|
||||
"systems": {
|
||||
"locked": {
|
||||
"lastModified": 1681028828,
|
||||
"narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=",
|
||||
"owner": "nix-systems",
|
||||
"repo": "default",
|
||||
"rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e",
|
||||
"type": "github"
|
||||
},
|
||||
"original": {
|
||||
"owner": "nix-systems",
|
||||
"repo": "default",
|
||||
"type": "github"
|
||||
}
|
||||
},
|
||||
"typix": {
|
||||
"inputs": {
|
||||
"nixpkgs": [
|
||||
"nixpkgs"
|
||||
]
|
||||
},
|
||||
"locked": {
|
||||
"lastModified": 1745311617,
|
||||
"narHash": "sha256-rSwSFTy7E+/i+V2IB6GT4eP07r0XPoKlq/GbNYhakkw=",
|
||||
"owner": "loqusion",
|
||||
"repo": "typix",
|
||||
"rev": "bc85fe6c66247893e8ff3e5d15166276caaf26eb",
|
||||
"type": "github"
|
||||
},
|
||||
"original": {
|
||||
"owner": "loqusion",
|
||||
"repo": "typix",
|
||||
"type": "github"
|
||||
}
|
||||
}
|
||||
},
|
||||
"root": "root",
|
||||
"version": 7
|
||||
}
|
66
flake.nix
Normal file
66
flake.nix
Normal file
|
@ -0,0 +1,66 @@
|
|||
{
|
||||
inputs = {
|
||||
nixpkgs.url = "github:nixos/nixpkgs/nixos-unstable";
|
||||
flake-utils.url = "github:numtide/flake-utils";
|
||||
|
||||
typix = {
|
||||
url = "github:loqusion/typix";
|
||||
inputs.nixpkgs.follows = "nixpkgs";
|
||||
};
|
||||
};
|
||||
|
||||
outputs =
|
||||
inputs:
|
||||
inputs.flake-utils.lib.eachSystem (with inputs.flake-utils.lib.system; [ x86_64-linux ]) (
|
||||
system:
|
||||
let
|
||||
pkgs = inputs.nixpkgs.legacyPackages.${system};
|
||||
typixLib = inputs.typix.lib.${system};
|
||||
lib = pkgs.lib;
|
||||
|
||||
src = lib.fileset.toSource {
|
||||
root = ./.;
|
||||
fileset = lib.fileset.unions [
|
||||
./images
|
||||
./iotas.typ
|
||||
];
|
||||
};
|
||||
|
||||
commonArgs = handout: {
|
||||
typstSource = "iotas.typ";
|
||||
fontPaths = [ "${pkgs.cascadia-code}/share/fonts/truetype" ];
|
||||
virtualPaths = [ ];
|
||||
unstable_typstPackages = [
|
||||
{
|
||||
name = "polylux";
|
||||
version = "0.4.0";
|
||||
hash = "sha256-4owP2KiyaaASS1YZ0Hs58k6UEVAqsRR3YdGF26ikosk=";
|
||||
}
|
||||
];
|
||||
|
||||
typstOpts.format = "pdf";
|
||||
typstOpts.input = "HANDOUT=${if handout then "true" else "false"}";
|
||||
};
|
||||
|
||||
buildPresentation = handout: typixLib.buildTypstProject ((commonArgs handout) // { inherit src; });
|
||||
|
||||
presentation = pkgs.linkFarm "coles-presentation" [
|
||||
{
|
||||
path = buildPresentation false;
|
||||
name = "slides.pdf";
|
||||
}
|
||||
{
|
||||
path = buildPresentation true;
|
||||
name = "handout.pdf";
|
||||
}
|
||||
];
|
||||
in
|
||||
{
|
||||
devShell = pkgs.mkShell {
|
||||
nativeBuildInputs = [ pkgs.typst ];
|
||||
};
|
||||
|
||||
packages.default = presentation;
|
||||
}
|
||||
);
|
||||
}
|
BIN
images/alonzo-church.jpg
Normal file
BIN
images/alonzo-church.jpg
Normal file
Binary file not shown.
After ![]() (image error) Size: 39 KiB |
BIN
images/darkcave.jpg
Normal file
BIN
images/darkcave.jpg
Normal file
Binary file not shown.
After ![]() (image error) Size: 29 KiB |
BIN
images/executed-church-encoding.png
Normal file
BIN
images/executed-church-encoding.png
Normal file
Binary file not shown.
After ![]() (image error) Size: 165 KiB |
BIN
images/final-slide-fbp.png
Normal file
BIN
images/final-slide-fbp.png
Normal file
Binary file not shown.
After ![]() (image error) Size: 21 KiB |
BIN
images/fpmentioned.jpg
Normal file
BIN
images/fpmentioned.jpg
Normal file
Binary file not shown.
After ![]() (image error) Size: 135 KiB |
BIN
images/iota-manuscript.png
Normal file
BIN
images/iota-manuscript.png
Normal file
Binary file not shown.
After ![]() (image error) Size: 164 KiB |
BIN
images/ithinkshespartoftheskteam.jpg
Normal file
BIN
images/ithinkshespartoftheskteam.jpg
Normal file
Binary file not shown.
After ![]() (image error) Size: 78 KiB |
BIN
images/un-executed-church-encoding.png
Normal file
BIN
images/un-executed-church-encoding.png
Normal file
Binary file not shown.
After ![]() (image error) Size: 792 KiB |
324
iotas.typ
Normal file
324
iotas.typ
Normal file
File diff suppressed because one or more lines are too long
Loading…
Add table
Add a link
Reference in a new issue