Luis Guilherme Coelho 389d77afa3 home-environments: radio: Add packages:haskell		2024-07-09 19:23:58 -03:00
..
clojure.scm	radio: manifests: Move manifests to home-environments/radio/manifests	2024-03-09 14:45:20 -03:00
emacs.scm	radio: manifests: emacs: Add emacs-lean4-mode	2024-06-14 16:03:13 -03:00
guile.scm	manifests: guile: Remove guile-srfi-197 and guile-srfi-232	2024-04-26 18:56:48 -03:00
idris.scm	radio: manifests: Move manifests to home-environments/radio/manifests	2024-03-09 14:45:20 -03:00
tex.scm	manifests: tex: Add rubber and remove redundant packages	2024-04-23 11:29:58 -03:00
theorem-proving.scm	radio: manifests: Move manifests to home-environments/radio/manifests	2024-03-09 14:45:20 -03:00