Idris/advent
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

Some notes

Browse source
This commit is contained in:
Nathan McCarty 2025-01-27 17:06:08 -05:00
parent b2d94f9751
commit aa33fe6004
3 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
book.toml
View file

@ -7,7 +7,7 @@ title = "Idris 2 by Highly Contrived Example"
[build] [build]
create-missing = false create-missing = false
use-default-preprocessors = false # use-default-preprocessors = false
[output.html] [output.html]
preferred-dark-theme = "ayu" preferred-dark-theme = "ayu"

2
scripts/build-book
View file

@ -77,6 +77,8 @@ sub katla($src, $ttc-src) {
# Copy our metadata files # Copy our metadata files
cp-temp "book.toml"; cp-temp "book.toml";
# TODO: Special Handling for the README so we don't need the symlink and the
# links work
cp-temp "src/README.md"; cp-temp "src/README.md";
cp-temp "src/SUMMARY.md"; cp-temp "src/SUMMARY.md";

1
src/Parser/JSON.md
View file

@ -168,6 +168,7 @@ object = do
pairs = do pairs = do
first <- keyValue first <- keyValue
rest <- many restKeyValue rest <- many restKeyValue
-- TODO: headTail combinator for this
pure $ first ::: rest pure $ first ::: rest
occupiedObject : Parser (JSONValue TObject) occupiedObject : Parser (JSONValue TObject)
occupiedObject = do occupiedObject = do