Skip to content
<awesome-gh-repos>
vic

jmitchell/idris-elixir

Idris backend targeting Elixir (Work in progress)
Source code at GitHub null
jmitchell/idris-elixir.json
{
  "createdAt": "2017-01-18T13:56:17Z",
  "defaultBranch": "master",
  "description": "Idris backend targeting Elixir (Work in progress)",
  "fullName": "jmitchell/idris-elixir",
  "homepage": null,
  "language": "Haskell",
  "name": "idris-elixir",
  "pushedAt": "2017-01-26T20:22:31Z",
  "stargazersCount": 18,
  "topics": [
    "code-generator",
    "elixir",
    "idris",
    "translator"
  ],
  "updatedAt": "2020-01-16T00:00:40Z",
  "url": "https://github.com/jmitchell/idris-elixir"
}

404: Not Found