diff --git a/book.toml b/book.toml index 4ad1625..a4387d0 100644 --- a/book.toml +++ b/book.toml @@ -7,7 +7,7 @@ title = "Idris 2 by Highly Contrived Example" [build] create-missing = false -use-default-preprocessors = false +# use-default-preprocessors = false [output.html] preferred-dark-theme = "ayu" diff --git a/scripts/build-book b/scripts/build-book index 8513e4d..f1d8b7b 100755 --- a/scripts/build-book +++ b/scripts/build-book @@ -77,6 +77,8 @@ sub katla($src, $ttc-src) { # Copy our metadata files 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/SUMMARY.md"; diff --git a/src/Parser/JSON.md b/src/Parser/JSON.md index 6602210..7699d29 100644 --- a/src/Parser/JSON.md +++ b/src/Parser/JSON.md @@ -168,6 +168,7 @@ object = do pairs = do first <- keyValue rest <- many restKeyValue + -- TODO: headTail combinator for this pure $ first ::: rest occupiedObject : Parser (JSONValue TObject) occupiedObject = do