language-backend topic
List
language-backend repositories
idris-cil
131
Stars
11
Forks
Watchers
A Common Intermediate Language backend for Idris 1
