-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
62 lines (50 loc) · 2.91 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
<!DOCTYPE html>
<html lang="en">
<head>
<link rel="stylesheet" href="https://stackpath.bootstrapcdn.com/bootstrap/4.3.1/css/bootstrap.min.css" integrity="sha384-ggOyR0iXCbMQv3Xipma34MD+dH/1fQ784/j6cY/iJTQUOhcWr7x9JvoRxT2MZw1T" crossorigin="anonymous">
<link rel="shortcut icon" type="image/png" href="img/favicon.png" />
<style type="text/css">
body { background-color: #1B1D21 !important; }
</style>
<title>TypeChecked</title>
</head>
<body class="text-white-50">
<div class="jumbotron jumbotron-fluid" style="background-color:#1B1D21;">
<div class="container-fluid">
<div class="row justify-content-md-center">
<div class="col-md-auto">
<img src="img/logo-hide-to-reveal-once-cropped.gif">
</div>
</div>
<div class="row justify-content-md-center">
<div class="col-md-auto"><a href="https://github.com/TypeChecked" target="_blank"><img src="img/github-light-32.png"></a></div>
<div class="col-md-auto"><a href="https://www.linkedin.com/company/typechecked" target="_blank"><img src="img/linkedin-32.png"></a></div>
<div class="col-md-auto"><a href="https://medium.com/@jdrphillips" target="_blank"><img src="img/medium-32.png"></a></div>
<div class="col-md-auto"><a href="mailto: [email protected]" target="_blank"><img src="img/email-icon-32.png"></a></div>
</div>
</div>
</div>
<div class="container">
<div class="row">
<div class="col-md-4">
<h2>Consultancy</h2>
<p>TypeChecked is a scala and functional programming software consultancy producing safe, fast, and reliable software. In-house, remote, outsourced software and training available.</p>
<p><a class="btn btn-secondary" href="mailto: [email protected]" role="button" target="_blank">Contact »</a></p>
</div>
<div class="col-md-4">
<h2>Open Source</h2>
<p>TypeChecked produces a collection of scala libraries which push the boundaries of what is possible. Proven in the wild, read the docs to see how typelevel programming can make your system safer.</p>
<p><a class="btn btn-secondary" href="https://alphabet-soup.typechecked.io" role="button" target="_blank">Alphabet Soup »</a></p>
<p><a class="btn btn-secondary" href="https://github.com/TypeChecked/numerology" role="button" target="_blank">Numerology »</a></p>
<p><a class="btn btn-secondary" href="https://github.com/TypeChecked" role="button" target="_blank">Others »</a></p>
</div>
<div class="col-md-4">
<h2>Blog</h2>
<p>Read the blog for notes on TypeChecked's experiments into how far we can push the scala compiler.</p>
<p><a class="btn btn-secondary" href="https://medium.com/@jdrphillips" role="button" target="_blank">Blog »</a></p>
</div>
</div>
<hr>
</div>
</body>
</html>