staltz

The introduction to Reactive Programming you've been missing

(by @andrestaltz)

---

This tutorial as a series of videos

If you prefer to watch video tutorials with live-coding, then check out this series I recorded with the same contents as in this article: Egghead.io - Introduction to Reactive Programming.

---

leodemoura

inductive foo
| mk1 : nat → nat → foo
| mk2 : nat → bool → foo

example (a : foo) : nat :=
begin
  /- All new hypotheses are named 'a' -/
  cases a
end

cassiozen

Pixelbook Setup

Change your channel

Some of the features mentioned in this document only work on the beta or Dev channel. To change your channel:

1. chrome://help in a browser window
2. Click Detailed Build Information
3. Change Channel
4. Select Beta (Or Dev, if you're feeling adventurous)