/Idris-Repl

A self hosted Repl for Idris (Still *very* early stages)

Primary LanguageIdris

Watchers