fix: lifting arguments before local lets to avoid lambdas - Githubissues

imandra-ai / imandra-ptime

IML-compatible version of the Ptime library

2 stars 0 forks source link

fix: lifting arguments before local lets to avoid lambdas #1

Closed ewenmaclean closed 2 years ago