unisonweb / unison

A friendly programming language from the future
https://unison-lang.org
Other
5.64k stars 267 forks source link

add transcript that demonstrates bug in merge #5130

Closed mitchellwrosen closed 3 days ago

mitchellwrosen commented 3 days ago

Overview

This PR adds a transcript that demonstrates #5125