Timestamp:
Jun 14, 2022, 10:55:46 AM (2 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)

Note: See TracChangeset for help on using the changeset viewer.