-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathocaml.html
75 lines (72 loc) · 3.32 KB
/
ocaml.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
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="utf-8">
<title>Новогоднее соревнование в CS центре</title>
<meta name="viewport" content="width=device-width, initial-scale=1">
<link rel="shortcut icon" href="img/favicon.ico"/>
<link rel="preconnect" href="https://fonts.googleapis.com">
<link rel="preconnect" href="https://fonts.gstatic.com" crossorigin>
<link href="https://fonts.googleapis.com/css2?family=Montserrat:ital,wght@0,400;0,900;1,400&display=swap"
rel="stylesheet">
<link rel="stylesheet" href="css/style.css">
<meta property="og:image" content="https://advent.compscicenter.ru/img/meta.jpg">
<!-- Yandex.Metrika counter -->
<script type="text/javascript">
(function (m, e, t, r, i, k, a) {
m[i] = m[i] || function () {
(m[i].a = m[i].a || []).push(arguments)
};
m[i].l = 1 * new Date();
k = e.createElement(t), a = e.getElementsByTagName(t)[0], k.async = 1, k.src = r, a.parentNode.insertBefore(k, a)
})
(window, document, "script", "https://mc.yandex.ru/metrika/tag.js", "ym");
ym(86596316, "init", {
clickmap: true,
trackLinks: true,
accurateTrackBounce: true
});
</script>
<noscript>
<div><img src="https://mc.yandex.ru/watch/86596316" style="position:absolute; left:-9999px;" alt=""/></div>
</noscript>
<!-- /Yandex.Metrika counter -->
</head>
<body>
<header class="header header--inner">
<a href="/" class="header__logo">
<img class="logo-csc" src="img/logo-csc.svg" width="160" height="80" alt="">
</a>
<div class="header__menu">
<a class="header__link" href="/" style="margin-left: 0; margin-right: auto"><img class="arrow-left"
src="img/arrow-left.svg" width="48"
height="48" alt=""></a>
<a class="header__link" href="/rules.html"><img src="img/rules.svg" width="48" height="48" alt="">Правила
участия</a>
<a class="header__link" href="/top.html"><img src="img/star.svg" width="48" height="48" alt="">Рейтинг</a>
</div>
</header>
<div class="container language">
<div class="language__text">
<div class="logo-wrapper">
<img class="language__logo" src="img/logos/ocaml-logo.png" alt="OCaml logo">
<h1>OCaml</h1>
</div>
<p>
OCaml — функциональный язык со строгой типизацией. Похожий на Haskell (хотя в этом никто
не признаётся), но более узконаправленный, за счет чего очень эффективно компилируется в быстрый
нативный код.
На нём написаны блокчейн Tezos, верификатор Coq, анализатор кода Coccinelle и многие другие
нетривиальные вещи.
</p>
<div class="btn-group">
<a class="button btn--primary btn--big" href="https://stepik.org/lesson/620164/step/1?unit=615684
" target="_blank" rel="nofollow">Перейти к уроку</a>
</div>
</div>
<div class="language__img">
<img src="img/ocaml.svg" alt="Ocaml">
</div>
</div>
</body>
</html>