Kiana Sheibani toki · she/her
0 followers · 0 following
Repositories
18
 Projects Packages Code Public activity Starred repositories
toki created repository toki/idris2-ratio 2024-07-21 06:45:49 -04:00
toki created branch main in toki/idris2-profunctors 2024-07-21 06:45:06 -04:00
toki pushed to main at toki/idris2-profunctors 2024-07-21 06:45:06 -04:00
e862ef887f Update ipkg
3c87261627 Prefer using Prelude.id over Identity
5b55d39ab5 Refactor Data.Profunctor.Mapping
68ef29160f Change visibility on everything to public export
573c461d9b Add brief package description
Compare 10 commits »
toki pushed tag v1.0.0 to toki/idris2-profunctors 2024-07-21 06:45:06 -04:00
toki pushed tag v1.1.0 to toki/idris2-profunctors 2024-07-21 06:45:06 -04:00
toki created repository toki/idris2-profunctors 2024-07-21 06:45:04 -04:00
toki created branch main in toki/numidr 2024-07-21 06:44:45 -04:00
toki pushed to main at toki/numidr 2024-07-21 06:44:45 -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 created branch reps in toki/numidr 2024-07-21 06:44:45 -04:00
toki pushed to reps at toki/numidr 2024-07-21 06:44:45 -04:00
4eb0c27203 Update ipkg
toki pushed tag v0.1.0 to toki/numidr 2024-07-21 06:44:45 -04:00
toki pushed tag v0.2.0 to toki/numidr 2024-07-21 06:44:45 -04:00
toki created repository toki/numidr 2024-07-21 06:44:41 -04:00
toki created branch main in toki/idris2-lens 2024-07-21 06:44:18 -04:00
toki pushed to main at toki/idris2-lens 2024-07-21 06:44:18 -04:00
da8f3a05e6 Fix typo
60231f4a2b Add export declaration to fixities
6d7153496d Merge pull request #2 from crumbtoo/main
61acb58a22 Derive lenses without prefix_record_projections
253467ebae Fix definition of elemOf
Compare 10 commits »
toki pushed tag v0.1.0 to toki/idris2-lens 2024-07-21 06:44:18 -04:00
toki pushed tag v0.2.0 to toki/idris2-lens 2024-07-21 06:44:18 -04:00
toki pushed tag v0.3.0 to toki/idris2-lens 2024-07-21 06:44:18 -04:00
toki created repository toki/idris2-lens 2024-07-21 06:44:16 -04:00
toki created branch main in toki/conways-game-of-life 2024-07-21 06:43:35 -04:00