Paul Chiusano comments

Repositories
Issues
Comments

Results 163 comments of


                                            Paul Chiusano

add `move`, `delete` commands which simultaneously operate on term+type+namespace+patch having that name

I think in the case that `delete` affects multiple things, a message like the following might be nice - I deleted the term, type, and namespace `Foo`. If you didn't...

Forall types in a record don't work the same as non-records.

This is a dupe of some issue that I can't locate. It's caused because the record accessors have inferred types, and higher-rank types are never inferred. (A record accessor can...

Revert change to trigger fzf on no-args ls

I don't think we should merge this until we have an alternative for the no args version that does fuzzy find, since that is quite useful. Both myself and @SystemFw...