『型システム入門』正誤表（暫定救出版）
active 2023-09-18 → 2024-08-26 (UTC)
Complete coverage26,683 / 26,683 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-08-30 (UTC)
Events
13
Pushes
2
Pull requests
3
Issues
3
Stars
2
Forks
0
Activity over time
Daily event counts in the loaded window
Line chart, 344 days from 2023-09-18 to 2024-08-26. Pushes: 2 total, peak 1 in a day. Pull requests: 3 total, peak 3 in a day. Issues: 3 total, peak 1 in a day. Comments: 0 total, peak 0 in a day. Stars: 2 total, peak 1 in a day.
- Pushes
- Pull requests
- Issues
- Comments
- Stars
Top contributors
Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity
| Contributor | Contributions | Pushes | PRs | Comments |
|---|---|---|---|---|
| k16shikano | 3 | 1 | 2 | 0 |
| esumii | 2 | 0 | 0 | 0 |
| mame | 2 | 0 | 1 | 0 |
| Wintus | 1 | 0 | 0 | 0 |
| yoshihiro503 | 1 | 1 | 0 | 0 |
Recent activity
Latest issues, pull requests and releases
- Issue#5Wintus2024-08-26 13:57日本語版 416ページ 解答 16.4.1: 「項に型を」→「型を項に」？
- Issue#4esumii2024-08-02 09:11日本語版 444ページ目 図A-2のキャプション
- Issue#3esumii2024-04-29 09:14和訳p. 166 l. -7「同じ部分型付け判断式」→「同じ判断式」
- Pull request#2mame2023-09-28 11:43
- Pull request#1k16shikano2023-09-28 05:09
- Pull request#1k16shikano2023-09-28 03:21
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 2 stars here means stars gained during the window, not the repo's star count.