Lambda calculi in CSLib

Stream: CSLib

[Chris Henson]

Posting here as well because I think I added my question to the doc right as it was closing:

Are any formalizations related to lambda calculi in scope, or does the use of Boole mean there is a focus on the imperative perspective?

[Clark Barrett]

I think our initial focus will be imperative, but a dialect for functional programming languages would be an interesting future project.