{ config, pkgs, ... }:

{
  home.packages = with pkgs; [
    idris2
    idris2Packages.idris2Lsp
    idris2Packages.pack
    chez
    racket
  ];

  home.sessionPath = [ "$HOME/.local/bin" ];
}