deontic/mkdocs.yml at master · jhhuh/deontic · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
site_name: "Deontic — Curry-Howard for Defeasible Deontic Logic"
site_description: "A Haskell framework encoding legal codes as type-level programs"
site_url: "https://jhhuh.github.io/deontic/"
repo_url: "https://github.com/jhhuh/deontic"
repo_name: jhhuh/deontic

theme:
  name: material
  palette:
    - scheme: default
      primary: deep purple
      accent: amber
      toggle:
        icon: material/brightness-7
        name: Switch to dark mode
    - scheme: slate
      primary: deep purple
      accent: amber
      toggle:
        icon: material/brightness-4
        name: Switch to light mode
  features:
    - navigation.sections
    - navigation.expand
    - navigation.indexes
    - content.code.copy
    - content.code.annotate
    - toc.follow
  icon:
    repo: fontawesome/brands/github

markdown_extensions:
  - admonition
  - pymdownx.details
  - pymdownx.superfences
  - pymdownx.highlight:
      anchor_linenums: true
  - pymdownx.inlinehilite
  - pymdownx.tabbed:
      alternate_style: true
  - pymdownx.arithmatex:
      generic: true
  - attr_list
  - md_in_html
  - footnotes
  - tables
  - toc:
      permalink: true

extra_javascript:
  - https://cdnjs.cloudflare.com/ajax/libs/mathjax/3.2.2/es5/tex-mml-chtml.min.js

extra:
  alternate:
    - name: English
      link: /deontic/
      lang: en
    - name: 한국어
      link: /deontic/ko/
      lang: ko
  social:
    - icon: fontawesome/brands/github
      link: https://github.com/jhhuh/deontic

nav:
  - Home: index.md
  - Theory:
    - theory/index.md
    - Modal Logic: theory/modal-logic.md
    - Deontic Logic: theory/deontic-logic.md
    - Curry-Howard Isomorphism: theory/curry-howard.md
    - Defeasible Reasoning: theory/defeasibility.md
    - Second-Order Defeasibility: theory/second-order-defeasibility.md
  - Framework:
    - framework/index.md
    - Core Architecture: framework/core.md
    - Judgment GADT & Layers: framework/judgment.md
    - Verdict Algebra: framework/verdict.md
    - Facts Type Family: framework/facts.md
  - Korean Civil Act (민법):
    - civil-act/index.md
    - 총칙 General Provisions: civil-act/general.md
    - 물권법 Property Law: civil-act/property.md
    - 채권법 Obligations: civil-act/obligations.md
    - 불법행위 Torts: civil-act/torts.md
    - Defeasibility Patterns: civil-act/patterns.md
    - Case Demonstrations: civil-act/case-demonstrations.md
  - German BGB:
    - bgb/index.md
  - Formal Verification:
    - verification/index.md
  - API Reference:
    - reference/index.md