Giters

conjunctive / idris-macros

Additional tools for editing Idris

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

emacsidris

This repository is not active

About

Additional tools for editing Idris

emacsidris

License:GNU Affero General Public License v3.0

Languages

Language:Emacs Lisp 100.0%