Skip to content

Commit

Permalink
no postfix projections
Browse files Browse the repository at this point in the history
  • Loading branch information
djspacewhale committed Jan 26, 2025
1 parent ddca8ef commit 067218a
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion agda-unimath.agda-lib
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
name: agda-unimath
include: src
flags: --without-K --exact-split --no-import-sorts --auto-inline --no-require-unique-meta-solutions -WnoWithoutKFlagPrimEraseEquality
flags: --without-K --exact-split --no-import-sorts --auto-inline --no-require-unique-meta-solutions -WnoWithoutKFlagPrimEraseEquality --no-postfix-projections

0 comments on commit 067218a

Please sign in to comment.