kylefang/asdf-plugins
1
0
Fork 0
mirror of https://github.com/placeholder-soft/asdf-plugins.git synced 2026-01-12 17:02:53 +08:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
asdf-plugins/plugins/idris2
Victor Borja 628b885ea7 Add idris2 plugin (#241)
2020-06-07 00:21:16 -05:00

2 lines
63 B
Plaintext
Raw Permalink Blame History

repository = https://github.com/asdf-community/asdf-idris2.git
Reference in New Issue View Git Blame Copy Permalink