Mortality #477
Description
ncoe too mortal
split/half on line 260
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
{{ message }}
ncoe too mortal
split/half on line 260
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