Trace Typing Project This repository contains two subprojects for typing execution traces: trace-production and trace-typing, each suggestively named. License This code is licensed under the Apache 2.0 license; see LICENSE.txt.