Skip to content

Instantly share code, notes, and snippets.

@ceedubs

ceedubs/unison-tdd.md

Created September 14, 2021 21:59
Show Gist options
  • Save ceedubs/8dce1f34464469c034242fbab4bfae1b to your computer and use it in GitHub Desktop.
Save ceedubs/8dce1f34464469c034242fbab4bfae1b to your computer and use it in GitHub Desktop.
Download ZIP
content-addressed updates kind of break TDD/implementation stubs
Raw
unison-tdd.md 
fn1 : Nat -> Text
fn1 = .base.todo

fn2 : Nat -> Text
fn2 = .base.todo

.> add

fn1 : Nat -> Text
fn1 = Nat.toText

.> update

> fn1 3

> fn2 3
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment