forked from eberban/eberban
-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
110 lines (94 loc) · 3.16 KB
/
index.html
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
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
<!DOCTYPE html>
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
<title>eberban</title>
<link type="text/css" href="./web/res/layout.css" rel="stylesheet">
<link rel="icon" type="image/png" sizes="200x200" href="./images/icon.png">
<link href="./web/res/bootstrap.css" rel="stylesheet">
</head>
<body>
<div class="container">
<div style="text-align: center;">
<img src="./images/eberban-alpha.png" width="30%" style="margin:
20px"></object>
</div>
<p><b>Eberban</b> is a <a
href="https://en.wikipedia.org/wiki/Engineered_language#Logical_languages">logical</a>
<a
href="https://en.wikipedia.org/wiki/Constructed_language">constructed
language</a> aimed to satisfy the following goals :
</p>
<ul>
<li><b>being simple:</b> the Eberban grammar allows manipulating
predicates with particles in a way that is close to the <a
href="https://en.wikipedia.org/wiki/Higher-order_logic">higher-order
logic</a> it translates into, while abstracting away the verbosity
of explicitly providing variables as arguments of predicates.</li>
<li><b>being regular:</b> valid sentences are syntactically
unambiguous. Most grammar rules rely on particles which are
organised into families, each starting with a unique prefix. Many
additional patterns are shared between particles and predicate words
to help with learning groups of related words.</li>
<li><b>being expressive:</b> the grammar and core vocabulary focus
on providing a simple framework, on top of which can be built
abstractions, complex concepts and tools. Since those are built into
Eberban itself, users can create their own tools and abstractions to
express entirely new concepts.</li>
</ul>
<p>
<b>Eberban</b> takes inspiration from <a
href="https://mw.lojban.org/papri/Lojban">Lojban</a>
and other logical languages, but tries novel approaches to satisfy
the above goals.
</p>
<div class="row">
<div class="span6">
<h3>Parsers</h3>
<a href="./web/parser_box_glosser.html" class="btn btn-block
btn-large">
Visual Parser (Boxes & Glosser)
</a>
<a href="./web/parser_text_dynamic.html" class="btn btn-block
btn-large">
Textual Parser (Show elided terminators)
</a>
</div>
<div class="span6">
<h3>Tools</h3>
<a href="./web/dictionary.html" class="btn btn-block btn-large">
Dictionary
</a>
<a href="./web/root_generator.html" class="btn btn-block
btn-large">
Root generator
</a>
</div>
</div>
<div class="row">
<div class="span6">
<h3>Learning resources</h3>
<a href="./books/refgram/book/index.html" class="btn
btn-block btn-large">
Eberban Reference Grammar (WIP)
</a>
<a href="https://learn-eberban.github.io/" class="btn
btn-block btn-large">
Learn Eberban by zuna (WIP)
</a>
</div>
<div class="span6">
<h3>Get involved</h3>
<a href="https://discord.gg/KKB79RwWUc" class="btn btn-block
btn-large">
Discord server
</a>
<a href="https://github.com/eberban/eberban" class="btn
btn-block btn-large">
GitHub repository
</a>
</div>
</div>
</div>
</body>
</html>