Changeset a8b87d3 for benchmark/io

Timestamp:

Jun 14, 2022, 10:55:46 AM (3 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

ADT, ast-experimental, master, pthread-emulation, qualifiedEnum

Children:

aec20700

Parents:

1f0ee71

Message:

Various bits of clean-up. The big one was some renaming inside TypeSubstitution (typeEnv was not a TypeEnvironment).

(No files)