-
Notifications
You must be signed in to change notification settings - Fork 0
/
story.html
121 lines (115 loc) · 4.68 KB
/
story.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
116
117
118
119
120
121
<!doctype html>
<html lang="en">
<head>
<meta charset="UTF-8" />
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
<meta http-equiv="X-UA-Compatible" content="ie=edge" />
<title>Pravda</title>
<link
href="https://cdn.jsdelivr.net/npm/bootstrap@5.3.0-alpha1/dist/css/bootstrap.min.css"
rel="stylesheet"
/>
<link href="style.css" rel="stylesheet" />
</head>
<body>
<nav class="navbar navbar-expand-lg navbar-dark bg-dark">
<div class="container-fluid">
<a class="navbar-brand" href="#">Pravda</a>
<button
class="navbar-toggler"
type="button"
data-bs-toggle="collapse"
data-bs-target="#navbarNav"
aria-controls="navbarNav"
aria-expanded="false"
aria-label="Toggle navigation"
>
<span class="navbar-toggler-icon"></span>
</button>
<div class="collapse navbar-collapse" id="navbarNav">
<ul class="navbar-nav ms-auto">
<li class="nav-item">
<a
class="nav-link"
aria-current="page"
href="index.html"
>Home</a
>
</li>
<li class="nav-item">
<a class="nav-link active" href="./story.html"
>Story</a
>
</li>
</ul>
</div>
</div>
</nav>
<header
style="background-color: lightgrey"
class="text-dark text-start py-5"
>
<div class="container">
<h1>Story</h1>
<p class="lead">Why did I start developing Pravda?</p>
</div>
</header>
<section class="py-5">
<div class="container">
<h2>1. Ideas of begin</h2>
<p>
I annoyed about complex of Haskell features. Actually,
Haskell is very powerful functional language but not
easy.<br />
Having said that I didn't satisfy Lisp that too simple.
</p>
<p>
So, I thought next functional languages needs a balance.
Immediately, I was working on developing new language.
</p>
</div>
</section>
<section class="py-5">
<div class="container">
<h2>2. Newborn language</h2>
<p>
Date as usual weekday: 2nd September 2024 (Monday), new
programming language did firstcry.<br />
The newborn language is named "Pravda". Because "pravda"
means "truth", "pure" or "justice" in Russian.<br />
I considered it's good way to highlight purity as functional
language.
</p>
<p>
first version Pravda was able to use no more than
S-expression, basic function, variable.
</p>
</div>
</section>
<section class="py-5">
<div class="container">
<h2>3. Pravda is growing</h2>
<p>
After born of Pravda, I effort to enpower it more powerful
and simple as functional programming language such as
developing standard library.<br />
Pravda is growing even now. the GitHub repository has
already over 100 commits.
</p>
<a
href="https://github.com/pravda-lang/pravda/commits/main/"
class="btn btn-outline-dark btn-light"
>Look the commits</a
>
</div>
</section>
<footer class="bg-dark text-white text-start py-3">
<div class="container">
<p>© 2024 梶塚太智. All rights reserved</p>
</div>
</footer>
<script src="https://code.jquery.com/jquery-3.5.1.slim.min.js"></script>
<script src="https://cdn.jsdelivr.net/npm/@popperjs/core@2.5.4/dist/umd/popper.min.js"></script>
<script src="https://stackpath.bootstrapcdn.com/bootstrap/4.5.2/js/bootstrap.min.js"></script>
</body>
</html>