home

My NixOS systems configurations.
Log | Files | Refs | LICENSE

code (198B)


      1 # -*- mode: snippet -*-
      2 # key: code
      3 # expand-env: ((yas-indent-line 'fixed))
      4 # --
      5 \begin{listing}[!ht]
      6   \begin{minted}[frame=single,gobble=4]{coq}
      7     $0
      8   \end{minted}
      9   \caption{$1}
     10 \end{listing}