| key | value |
|---|---|
| id | 61710758 |
| name | idris-malfunction |
| full_name | stedolan/idris-malfunction |
| html_url | https://github.com/stedolan/idris-malfunction |
| description | Experimental Malfunction backend for Idris |
| created_at | June 22, 2016, 10:34 a.m. |
| updated_at | March 6, 2024, 5:19 a.m. |
| pushed_at | June 20, 2018, 11:02 p.m. |
| size | 8 |
| stargazers_count | 81 |
| watchers_count | 15 |
| forks_count | 6 |
| open_issues | 6 |
| language | Haskell |
| awesome_list |