mirror of
https://codeberg.org/leana8959/.files.git
synced 2026-02-01 14:39:39 +00:00
10 lines
282 B
Nix
10 lines
282 B
Nix
# The Agda support for Vim
|
|
let
|
|
sources = import ../../npins;
|
|
in
|
|
|
|
# If this is updated, we break split on case support for PLFA.
|
|
# PLFA uses 2.7.0
|
|
# https://github.com/agda/cornelis/issues/169
|
|
assert sources.cornelis.version == "v2.7.1";
|
|
sources.cornelis.asFlake.overlays.cornelis
|