This website requires JavaScript.
Explore
Help
Sign In
kavi
0 Followers
·
0 Following
Joined on
2025-05-07
Block a user
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
User to block:
Optional note:
The note is not visible to the blocked user.
Cancel
Block
Repositories
Projects
Packages
Public Activity
Starred Repositories
kavi
opened issue
twc/ludus#120
2025-06-13 19:10:09 +00:00
Set "contains?" seems to have a bug
kavi
opened issue
twc/ludus#119
2025-06-12 19:48:54 +00:00
"Loop" in Prelude
kavi
opened issue
twc/ludus#115
2025-06-11 20:37:18 +00:00
Quoting strings or arbitrary string keys for dicts
kavi
opened issue
twc/ludus#114
2025-06-11 20:30:01 +00:00
Exponents
