Skip to content

Commit

Permalink
progress, edit whatsapp conversation
Browse files Browse the repository at this point in the history
  • Loading branch information
yairchu committed Aug 8, 2018
1 parent 59eb9b4 commit 4004953
Show file tree
Hide file tree
Showing 3 changed files with 16 additions and 18 deletions.
1 change: 1 addition & 0 deletions .gitignore
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
.DS_Store
14 changes: 8 additions & 6 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -76,12 +76,6 @@ and you happen to want the check something in the repl for what you're currently
* Computer: Module loaded successfully. Your wish is my command! What do you want to do now?
* You: I forgot :/

#### Bandwidth

The other problem with REPLs is that the output size is not proportional to the size of your program.

Programmers who wish to get a more in-depth understanding often use clunky debuggers and debug-prints to see more about how their programs work.

### The REPL in Lamdu

Now let's see how it works in Lamdu:
Expand Down Expand Up @@ -150,3 +144,11 @@ Hazel, Unison, and others intend (or originally intended) to develop the same vi
### Specific essays / possible citations

* Glen Chiacchieri's [Legible Mathematics](http://glench.com/LegibleMathematics/) describes our notation for intermediate value annotations. He arrived at this notation independently (at 2014 when we only had it for types, we added evaluation in 2015).

## Todo

(feedbacks from Eyal, Galya, etc)

* Draw visual attention to wrong answer for factorial (Question mark and arrow)
* "We also see in it in green where the cursor" => "the green hole inside tells us where we'll end up if we select this completion"
* Record examples (Swift, Lamdu) with the bright themes. Remove mouse cursor where not used
19 changes: 7 additions & 12 deletions scenes/whatsapp.html
Original file line number Diff line number Diff line change
Expand Up @@ -108,7 +108,7 @@
<div class="bubble-top"></div>
<div class="message-content">
<p>
Hmm, how much is 2*3?
How much is 2*3?
</p>
<p class="timestamp">14:19
<span>
Expand All @@ -123,7 +123,7 @@
<div class="bubble-top"></div>
<div class="message-content">
<p>
What? What do you mean? I can't even understand the syntax of that other function you wrote
I'm confused. I don't understand the syntax of that other function
</p>
<p class="timestamp">14:20</p>
</div>
Expand Down Expand Up @@ -164,7 +164,7 @@
<div class="bubble-top"></div>
<div class="message-content">
<p>
Yeah? What about name errors?
I can't resolve a name there πŸ€”
</p>
<p class="timestamp">14:22</p>
</div>
Expand All @@ -190,7 +190,7 @@
<div class="bubble-top"></div>
<div class="message-content">
<p>
At least your code seems to make some sense now. Let me see 🧐
Let me see 🧐
</p>
<p class="timestamp">14:22</p>
</div>
Expand All @@ -212,7 +212,7 @@
<div class="bubble-top"></div>
<div class="message-content">
<p>
🀦🀦 Ok, how about now?
😑 How about now?
</p>
<p class="timestamp">14:24
<span>
Expand All @@ -227,12 +227,7 @@
<div class="bubble-top"></div>
<div class="message-content">
<p>
Thanks for the cooperation! It really helps when someone puts the effort to ask a question properly.
</p>
<p>
I'm happy to inform you that I performed the requested calculation on your behalf.
<br> The answer to your question, "Hmm, how much is 2*3?", is:
<br> 6.
πŸ‘ 2 times 3 is 6.
</p>
<p class="timestamp">14:25</p>
</div>
Expand All @@ -243,7 +238,7 @@
<div class="bubble-top"></div>
<div class="message-content">
<p>
Anything else I can do for you? I'm here to help πŸ˜‡
I'm here to help πŸ˜‡
</p>
<p class="timestamp">14:25</p>
</div>
Expand Down

0 comments on commit 4004953

Please sign in to comment.