[Agda] Disable post projections?

Martin Escardo m.escardo at cs.bham.ac.uk
Wed Oct 24 15:17:04 CEST 2018

Previous message (by thread): [Agda] Initial Algebra Semantics for Lambda Calculus
Next message (by thread): [Agda] Disable post projections?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Is there a way of disabling post projections?

I would prefer the interactive mode to generate pre projections in my case.

Thanks,
Martin

Previous message (by thread): [Agda] Initial Algebra Semantics for Lambda Calculus
Next message (by thread): [Agda] Disable post projections?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list