kaonn

ncoe too mortal `split/half` on line 260 [https://github.com/RedPRL/redtt/blob/mortal/library/cool/sort.red](https://github.com/RedPRL/redtt/blob/mortal/library/cool/sort.red) `raise TooMortal` on line 347 [https://github.com/RedPRL/redtt/blob/mortal/src/core/Domain.ml](https://github.com/RedPRL/redtt/blob/mortal/src/core/Domain.ml)