diff options
Diffstat (limited to 'src/Core/Var.idr')
| -rw-r--r-- | src/Core/Var.idr | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Core/Var.idr b/src/Core/Var.idr index 29c6476..a16b47e 100644 --- a/src/Core/Var.idr +++ b/src/Core/Var.idr @@ -3,6 +3,8 @@ module Core.Var import Core.Context import Core.Thinning +%prefix_record_projections off + -- Variables ------------------------------------------------------------------- data IsVar : Nat -> Context -> Type where |