`typeof` command to just print the type of a term in ucm without printing the body and cluttering the terminal - Githubissues

unisonweb / unison

A friendly programming language from the future

https://unison-lang.org

Other

5.81k stars 271 forks source link

`typeof` command to just print the type of a term in ucm without printing the body and cluttering the terminal #5445

Open aryairani opened 2 weeks ago

ceedubs commented 2 weeks ago

I think this is a duplicate of #2801