search

LPCIC / elpi-lang

visual studio code extension for Elpi
MIT License
8 stars 1 forks source link

Candidate branch for release 0.2.0. Adds trace visualisation and navi… #3

Closed gares closed 2 years ago

gares commented 2 years ago

…gation.