bor0 / gidti

Book: Introduction to Dependent Types with Idris

Date Created 2018-08-01 (6 years ago)
Commits 328 (last one about a year ago)
Stargazers 76 (0 this week)
Watchers 9 (0 this week)
Forks 4
License other
Ranking

RepositoryStats indexes 584,353 repositories, of these bor0/gidti is ranked #349,479 (40th percentile) for total stargazers, and #224,040 for total watchers.

bor0/gidti is also tagged with popular topics, for these it's ranked: books (#188/258)

Other Information

bor0/gidti has Github issues enabled, there is 1 open issue and 21 closed issues.

Homepage URL: https://leanpub.com/gidti

Star History

Github stargazers over time

Watcher History

Github watchers over time, collection started in '23

Recent Commit History

6 commits on the default branch (master) since jan '22

Yearly Commits

Commits to the default branch (master) per year

Issue History

Languages

We don't have any language data for this repository

It's a mystery

updated: 2024-10-21 @ 05:08am, id: 143169935 / R_kgDOCIiZjw