Skip to content

Refactor of AlgTerm/AlgType to use good sumtypes #796

Refactor of AlgTerm/AlgType to use good sumtypes

Refactor of AlgTerm/AlgType to use good sumtypes #796