gares.elpi-lang

Elpi lang

Total downloads

4,453

7d gain

330

Rolling weekly delta

Rating

- / 5

0 reviews

Version

0.4.0

Latest published

Activity

Extension trends

Manifest

Metadata

Namespace: gares
Name: elpi-lang
License: MIT
Homepage: https://github.com/LPCIC/elpi-lang
Repository: https://github.com/LPCIC/elpi-lang.git
Reviews: 0

Taxonomy

Categories

Programming Languages

Description

Elpi programming language support

Archive

Release history

13 latest releases