feat: parallel substitution typeclass; refactor strong normalization#583
Open
WegmannDavid wants to merge 1 commit into
Open
feat: parallel substitution typeclass; refactor strong normalization#583WegmannDavid wants to merge 1 commit into
WegmannDavid wants to merge 1 commit into
