Skip to content

Commit 3bcf27d

Browse files
committed
site: update agda docs
1 parent a9580fe commit 3bcf27d

File tree

551 files changed

+1719
-1501
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

551 files changed

+1719
-1501
lines changed

site/package-lock.json

Lines changed: 4 additions & 4 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

site/package.json

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -19,7 +19,7 @@
1919
"@docusaurus/core": "3.4.0",
2020
"@docusaurus/preset-classic": "3.4.0",
2121
"@mdx-js/react": "^3.0.0",
22-
"agda-web-docs-lib": "^0.4.0",
22+
"agda-web-docs-lib": "^0.4.2",
2323
"clsx": "^2.0.0",
2424
"prism-react-renderer": "^2.3.0",
2525
"react": "^18.0.0",

site/static/formal-spec/Agda.Builtin.Bool.html

Lines changed: 2 additions & 2 deletions
Large diffs are not rendered by default.

site/static/formal-spec/Agda.Builtin.Char.Properties.html

Lines changed: 2 additions & 2 deletions
Large diffs are not rendered by default.

site/static/formal-spec/Agda.Builtin.Char.html

Lines changed: 2 additions & 2 deletions
Large diffs are not rendered by default.

site/static/formal-spec/Agda.Builtin.Equality.html

Lines changed: 2 additions & 2 deletions
Large diffs are not rendered by default.

site/static/formal-spec/Agda.Builtin.Float.Properties.html

Lines changed: 2 additions & 2 deletions
Large diffs are not rendered by default.

site/static/formal-spec/Agda.Builtin.Float.html

Lines changed: 2 additions & 2 deletions
Large diffs are not rendered by default.

site/static/formal-spec/Agda.Builtin.IO.html

Lines changed: 2 additions & 2 deletions
Large diffs are not rendered by default.

site/static/formal-spec/Agda.Builtin.Int.html

Lines changed: 2 additions & 2 deletions
Large diffs are not rendered by default.

0 commit comments

Comments
 (0)