applePrincess

{config, pkgs, modulesPath, ...}:
{
  imports = [
    ./hardware-configuration.nix

    (modulesPath + "/profiles/minimal.nix")

    (modulesPath + "/profiles/qemu-guest.nix")
  ];

applePrincess

interface Custom (a : Type) (b : Type) | a where

Custom Nat Nat where
Custom Nat Bool where

f : Custom a b => a -> b -> Unit
f _ _ = ()

g : Unit
g = let x : Nat = 3