# The Agda support for Vim
let
  sources = import ../../npins;
in
sources.cornelis.asFlake.overlays.cornelis