←BackIidris-hackers/idris-llvm0Copy as MarkdownView on GitHub↗0 stars·0 forks·0 viewsIdris LlvmFeaturesBackends - Listed in the “Backends” section of the Awesome Idris awesome list.