key | value |
---|---|
id | 106309432 |
name | typedefs |
full_name | typedefs/typedefs |
html_url | https://github.com/typedefs/typedefs |
description | Programming language agnostic type construction language based on polynomials. |
created_at | Oct. 9, 2017, 4:44 p.m. |
updated_at | Jan. 4, 2024, 4:17 p.m. |
pushed_at | Dec. 7, 2021, 3:07 p.m. |
size | 735 |
stargazers_count | 364 |
watchers_count | 15 |
forks_count | 18 |
open_issues | 55 |
language | Idris |
awesome_list |