Luis Guilherme Coelho 490c5484c9 manifests: guile: Add guile-srfi-232		2024-02-16 23:52:38 -03:00
..
clojure.scm	manifests: Add clojure	2024-01-01 14:06:11 -03:00
emacs.scm	manifests: emacs: Replace geiser by arei	2024-01-01 14:06:11 -03:00
guile.scm	manifests: guile: Add guile-srfi-232	2024-02-16 23:52:38 -03:00
idris.scm	feat: add a idris manifest for when I get time to hack with it	2023-09-30 13:33:38 -03:00
tex.scm	manifests: tex: Change modular latex manifest to a semimodular one, relying in texlive-collections	2024-01-01 13:57:02 -03:00
theorem-proving.scm	manifests: Add theorem-proving	2024-01-02 18:08:01 -03:00