mhart

name: CI

on: [push]

jobs:
  tslint:
    runs-on: ubuntu-latest
    strategy:
      matrix:
        job: [0, 1, 2, 3, 4]

cartazio

module MesiModel where

open import Data.Vec
open import Data.Fin
open import Data.Nat
open import Data.Product


data MesiState : Set where
  Invalid      : MesiState

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.

---