idris2-pack.md

stefan-hoeck/idris2-pack - stars & forks statistics

Stats updated on Apr 2023, 16

☋ Forks: 12

★ Stars: 54

Open repository

Open detailed stats for stefan-hoeck/idris2-pack

Historical data

Date	Stars	Forks
2023-04-16	54	12
2023-04-15	54	12
2023-04-14	54	12
2023-04-13	54	12
2023-04-12	54	12
2023-04-11	54	12
2023-04-10	54	12
2023-04-09	54	12
2023-04-08	53	12
2023-04-07	53	12
2023-04-06	53	12
2023-04-04	53	12
2023-04-03	53	12
2023-04-02	52	12
2023-03-30	52	12
2023-03-28	51	12
2023-03-26	51	12
2023-03-25	51	12
2023-03-24	49	12
2023-03-23	49	12
2023-03-22	49	12
2023-03-20	49	12
2023-03-19	49	12