1. 22
    bamboo/idris-cil - A Common Intermediate Language backend for Idris dotnet haskell github.com
    calvin avatar via calvin 6 months ago | cached | no comments

  1.