Started 14 days ago
Took 20 min on VM1

Success Build #324 (Jul 30, 2020, 11:00:04 AM)

Changes
  1. Nicer TypeEnv initialization (commit: 89ced82) (details / githubweb)
  2. Add procedure for checking type equivalence (commit: 56e9226) (details / githubweb)
  3. Check for type equivalence instead of equality (commit: 19bdc63) (details / githubweb)
  4. Tidy up BinaryConstraint type checks. (commit: 3fd6dde) (details / githubweb)

Started by GitHub push by b-scholz

Revision: 9b4ab887a267d47f6723505c930feff6d289d9a0
  • origin/master