unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-08-15 13:30:27 +03:00
Code Issues Projects Releases Wiki Activity
trunk
unison/unison-src/transcripts/constructor-applied-to-unit.md
Chris Penner 5ca1eb3b8d Replace '.' references with scratch/main
2024-06-25 11:11:07 -07:00

230 B
Raw Permalink Blame History 

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

structural type Zoink a b c = Zoink a b c

> Any ()
> [ Zoink [0,1,2,3,4,5] [6,3,3,3,3,3,3,3,3,3,3,4,4,4,4,4,4,4,4,4,3] () ]