This website requires JavaScript.
Explore
Help
Register
Sign In
cristiancmoises
/
radix
mirror of
https://codeberg.org/anemofilia/radix.git
Watch
1
Star
0
Fork
You've already forked radix
0
Code
Issues
Packages
Projects
Releases
Wiki
Activity
6f22008b09
radix
/
manifests
History
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