Kiana Sheibani toki · she/her
0 followers · 0 following
Projects Packages Code Public activity Starred repositories
74 contributions in the last 12 months
MayJunJulAugSepOctNovDecJanFebMarAprMonWedFri
Less
More
toki created repository toki/idris2-profunctors 2025-04-02 00:25:04 -04:00
toki created branch main in toki/numidr 2025-04-02 00:24:52 -04:00
toki pushed to main at toki/numidr 2025-04-02 00:24:52 -04:00
bd1eee1366 Various guide edits
8903575d8b Fix various guide issues
d8c22d7ed6 Make WithEpsilon named implementations generic
f6809697e8 Replaces uses of elements with toVect
598e60c2da Allow One in non-safe ranged indexing
Compare 10 commits »
toki pushed to reps at toki/numidr 2025-04-02 00:24:52 -04:00
4eb0c27203 Update ipkg
toki pushed tag v0.2.0 to toki/numidr 2025-04-02 00:24:52 -04:00
toki pushed tag v0.1.0 to toki/numidr 2025-04-02 00:24:52 -04:00
toki created branch reps in toki/numidr 2025-04-02 00:24:52 -04:00
toki created repository toki/numidr 2025-04-02 00:24:50 -04:00
toki pushed tag v0.3.0 to toki/idris2-lens 2025-04-02 00:24:45 -04:00
toki pushed tag v0.2.0 to toki/idris2-lens 2025-04-02 00:24:45 -04:00
toki pushed tag v0.1.0 to toki/idris2-lens 2025-04-02 00:24:45 -04:00
toki pushed to main at toki/idris2-lens 2025-04-02 00:24:45 -04:00
da8f3a05e6 Fix typo
60231f4a2b Add export declaration to fixities
6d7153496d Merge pull request from crumbtoo/main
61acb58a22 Derive lenses without prefix_record_projections
253467ebae Fix definition of elemOf
Compare 10 commits »
toki created branch main in toki/idris2-lens 2025-04-02 00:24:45 -04:00
toki created repository toki/idris2-lens 2025-04-02 00:24:42 -04:00
toki pushed to main at toki/advent-of-code-2024 2025-04-02 00:24:32 -04:00
68a806b291 feat: part 8-2
b10afe5239 feat: part 8-1
22423f6cf6 refactor: Data.Vect.range -> Data.List.allFins
3826a13244 feat: part 7-2
b4391bec86 refactor: remove totality assertion
Compare 10 commits »
toki created branch main in toki/advent-of-code-2024 2025-04-02 00:24:32 -04:00
toki created repository toki/advent-of-code-2024 2025-04-02 00:24:30 -04:00
toki pushed to main at toki/snake 2025-04-02 00:24:09 -04:00
b885d70549 Switch to flake-parts based flake
65d257d4ad Overhaul event handling
35e68719cb Add display to pause screen
a6a70e5dca Add true randomness
7c61ddb24f Update dependencies
Compare 10 commits »
toki created branch main in toki/snake 2025-04-02 00:24:08 -04:00
toki created repository toki/snake 2025-04-02 00:24:06 -04:00