rpms
/
Agda
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
3 Commits 29 Branches 0 Tags 141 KiB
Emacs Lisp 100%
Go to file
Jens Petersen 7d0ed70eb3 note emacs-agda interactive environment in description 2012-07-15 16:30:33 +09:00
.gitignore import (#710383) 2012-07-15 16:28:54 +09:00
Agda.spec note emacs-agda interactive environment in description 2012-07-15 16:30:33 +09:00
sources import (#710383) 2012-07-15 16:28:54 +09:00