-
POTTIER Francois authored
The type env no longer needs to be parameterized. This makes the API safe (and simpler). There a slight runtime cost (e.g., from 4.6s to 4.7 seconds).
75c50174
To find the state of this project's repository at the time of any of these versions, check out the tags.