2025-01-27 06:06:05 +00:00
|
|
|
[book]
|
|
|
|
|
authors = ["Nathan McCarty"]
|
|
|
|
|
language = "en"
|
|
|
|
|
multilingual = false
|
|
|
|
|
src = "src"
|
|
|
|
|
title = "Idris 2 by Highly Contrived Example"
|
|
|
|
|
|
|
|
|
|
[build]
|
|
|
|
|
create-missing = false
|
|
|
|
|
use-default-preprocessors = false
|
2025-01-27 10:19:15 +00:00
|
|
|
|
|
|
|
|
[output.html]
|
|
|
|
|
preferred-dark-theme = "ayu"
|
