unisonweb/unison

Can't delete a type or term by its hash alone

Open

#1,044 opened on Dec 9, 2019

View on GitHub
 (1 comment) (0 reactions) (0 assignees)Haskell (304 forks)batch import
help wanted

Repository metrics

Stars
 (6,624 stars)
PR merge metrics
 (Avg merge 12d 19h) (6 merged PRs in 30d)

Description

When you try, you get

.> delete.term #j

  HQSplit' doesn't have a hash-only option.

Is that intentional?

Contributor guide