3 ms·

I'd like to continue to develop something based on vau calculi with some forms of partial evaluators, since I have lost interest in type theories.