My NixOS config

These are my configuration files and packages for NixOS running on a ThinkPad X1 Carbon (Gen 9) using UEFI, with a LUKS-encrypted root filesystem.

• I used these notes to do the installation with LUKS encryption.
• The Minion Pro packaging is taken from here.