profile
viewpoint

pyrtsa/atom-language-idris

A Idris Mode for Atom.io

https://github.com/pyrtsa/atom-language-idris

pyrtsa

viewpoint

Express your opinions freely and help others including your future self

Issues rank

No questions were found.

contributors (According to the first 100)

archaeron
justjoheinz
edwinb
ulidtko
brendanzab
fangel
NightRa
aochagavia
david-christiansen
geo2a