forked from eberban/eberban
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
115 lines (93 loc) · 3.12 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
111
112
113
114
115
<!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 style="font-size:large;font-weight:bold;">Hello, Mia. (2)</p>
<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 to manipulate
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 explicitely providing variables as arguments of predicates.</li>
<li><b>being regular:</b> valid sentences are syntaxicaly
unambiguous. Most grammar rules rely on particles which are
organised in families, each starting with a unique prefix. Many
additional patterns are shared between particles and predicate words
to help 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 in
Eberban itself, users can create their own tools and abstractions to
express entirely new concepts.</li>
</ul>
<p>
<b>Eberban</b> take inspirations from <a
href="https://mw.lojban.org/papri/Lojban">Lojban</a>
and other logical languages, but try 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/tour/book/index.html" class="btn
btn-block btn-large">
A tour of Eberban (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>
<div class="container">
</div>
</body>
</html>