hooo 0.10.0

Propositional logic with exponentials
Documentation 
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

_seps: ":;,[]"
_ty: ";{}"

200 multi_line_comment = ["/*" ..."*/"? .r?({
    [!"*/" "*" ..."*/"?] [multi_line_comment ..."*/"?] ["/" ..."*/"?]
}) "*/"]
201 comment = {multi_line_comment ["//" ..."\n"?]}

100 , = [.w? "," .w?]

12 grading = [.$:"grading" .w? ":" .w? "[" .w? .s?.(, .._seps!:"grade") .w? "]" .w? ";"]
11 grade = [.._seps!:"grade_name" .w? ":" .w? "{" .w?
  .l([.w? {comment grading} .w?])
.w? "}" .w? ";"]
10 grades = ["grades" .w! "{" .w? {
  .l([.w? {comment grade} .w?])
} .w? "}"]
9 dep = {
    ["path(" .w? .t!:"dep_path" .w? ")" .w? ";"]
}
8 deps = ["dependencies" .w! "{" .w? {
    .l([.w? {comment dep} .w?])
} .w? "}"]
7 fun = [.._seps!:"name" .w? ":" ..._ty!:"ty" .w? ";"]
6 ; = [.w? ";" .w?]
5 funs = ["functions" .w! "{" .w?
    .l([.w? {comment fun:"fun"} .w?])
.w? "}"]
4 desc = ["description:" .w! .t!:"desc" .w? ";"]
3 version = ["version:" .w! .t!:"version" .w? ";"]
2 name = ["name:" .w! .t!:"name" .w? ";"]
1 lib = .l([.w? {
    comment
    name
    version
    desc
    funs
    deps
    grades
.w? }])
0 doc = [.w? lib:"lib" .w?]