Website

Check-in [a2219f0d80]
Login
Overview
Comment:Fill in selling points.
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA3-256: a2219f0d80f4b0eba26e7c2c7be160dafe5e858844a734423a757734998677b6
User & Date: robin.hansen on 2020-11-16 05:17:23
Other Links: manifest | tags
Context
2020-11-16
05:41
Fix issues with stripped whitespace in production builds. Also remember to upload svg. check-in: 623d53c5f6 user: robin.hansen tags: trunk
05:17
Fill in selling points. check-in: a2219f0d80 user: robin.hansen tags: trunk
04:48
Remove need for babel polyfill. check-in: cc5e2708f0 user: robin.hansen tags: trunk
Changes
Hide Diffs Unified Diffs Ignore Whitespace Patch

Modified src/index.css from [e051b906b2] to [594a3b9c1e].

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
122
#header-content ul {
    margin-bottom: 40px;
}

#selling-points {
    width: 800px;
    margin: 0 auto;

    padding-bottom: 200px;
}





#selling-points .content {
    display: flex;
    justify-content: space-between;
}

.shell {
    padding: 8px;
    background-color: rgb(0, 0, 0);
    color: rgb(255, 255, 255);
    white-space: pre-line;
    font-family: monospace;
}







#selling-points .content .shell {
    width: 400px;
}

#selling-points .content img {
    width: 400px;
}

#selling-points a {
    color: #36af6d;
}








>


>
>
>
>














>
>
>
>
>
>

|



|






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
122
123
124
125
126
127
128
129
130
131
132
133
#header-content ul {
    margin-bottom: 40px;
}

#selling-points {
    width: 800px;
    margin: 0 auto;
    padding-top: 50px;
    padding-bottom: 200px;
}

#selling-points article {
    margin-bottom: 50px;
}

#selling-points .content {
    display: flex;
    justify-content: space-between;
}

.shell {
    padding: 8px;
    background-color: rgb(0, 0, 0);
    color: rgb(255, 255, 255);
    white-space: pre-line;
    font-family: monospace;
}

#selling-points .content p {
    width: 50%;
    margin: 0;
    padding-right: 25px;
}

#selling-points .content .shell {
    width: 50%;
}

#selling-points .content img {
    width: 50%;
}

#selling-points a {
    color: #36af6d;
}

Modified src/index.html from [337eabb3f2] to [dcf853ddd2].

37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
..
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
..
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
        </header>

        <section id="selling-points">
            <article>
                <h3>Minimal, yet flexible, syntax</h3>

                <div class="content">
                    <p>bladiblabla</p>

                    <code class="shell">
                        def: main
                        : 1 inc
                          2 =

                        def: inc
................................................................................
                        def: dec
                        : 1 -
                    </code>
                </div>
            </article>

            <article>
                <h3>Great error messages</h3>

                <div class="content">
                    <p>bladiblabla</p>

                    <div class="shell">
                        Compilation failed:

                        2 | def: main
                        3 | type: -- Int
                        4 | entry: true
................................................................................
                </div>
            </article>

            <article>
                <h3>Portable</h3>

                <div class="content">
                    <p>bladiblabla</p>

                    <img alt="Web assembly logo" src="wasm_logo.svg" />
                </div>
            </article>

            <article>
                <h3>In Alpha</h3>

                <p>bladiblabla</p>

                <a alt="Read the roadmap" href="https://fossils.play-lang.dev/compiler/wiki?name=roadmap">
                    read the roadmap
                </a>
            </article> 
        </section>
    </body>
</html>







|







 







|


|







 







|








<
<
|
<
<




37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
..
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
..
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92


93


94
95
96
97
        </header>

        <section id="selling-points">
            <article>
                <h3>Minimal, yet flexible, syntax</h3>

                <div class="content">
                    <p>The syntax of Play is based on Forth, resulting in a syntax which could fit on a postcard while still being flexible enough for anything you need. All functions (what we call 'words') are implicitly composable, and so Play programs are a concatination of words just like books.</p>

                    <code class="shell">
                        def: main
                        : 1 inc
                          2 =

                        def: inc
................................................................................
                        def: dec
                        : 1 -
                    </code>
                </div>
            </article>

            <article>
                <h3>Easy to reason about</h3>

                <div class="content">
                    <p>Play uses a static type system with type inference, which lets you rule out bugs while it staying out of your way. In addition, all data structures are immutable, greatly reducing the number of states your program can be in and which you must account for when writing code.</p>

                    <div class="shell">
                        Compilation failed:

                        2 | def: main
                        3 | type: -- Int
                        4 | entry: true
................................................................................
                </div>
            </article>

            <article>
                <h3>Portable</h3>

                <div class="content">
                    <p>Play is compiled to web assembly. This allows Play programs to execute in a browser in addition to on the command line, and to work the same no matter where it is executed. The alternative to web assembly would be to compile to javascript, but then we'd have to live with a legacy which includes 53-bit integers and six different falsy values.</p>

                    <img alt="Web assembly logo" src="wasm_logo.svg" />
                </div>
            </article>

            <article>
                <h3>In Alpha</h3>



                <p>Play is still in early development. There are currently no strings, arrays or even garbage collection. All of this will come in time. For more information, take a look at the <a alt="Read the roadmap" href="https://fossils.play-lang.dev/compiler/wiki?name=roadmap">roadmap</a>.</p>


            </article> 
        </section>
    </body>
</html>