Luis Guilherme Coelho 927725532c radio: manifests: emacs: Add emacs-lean4-mode		2024-06-14 16:03:13 -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
haskell.scm	radio: manifests: Add haskell	2024-03-23 03:30:59 -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