unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-08-15 05:20:46 +03:00
Code Issues Projects Releases Wiki Activity
trunk
unison/unison-src/transcripts/fix1421.md
Greg Pfeil 8416708a29
Add transcripts for fixed issues 
This shows that this change fixes #1421, #2826, #5141, and #5168.
2024-07-10 14:01:35 -06:00

163 B
Raw Permalink Blame History 

scratch/main> alias.type ##Nat Nat
scratch/main> alias.term ##Nat.+ Nat.+

unique type A = A Nat
unique type B = B Nat Nat