Zulip Chat Archive
Stream: Is there code for X?
Topic: code action for rewriting #eval to #guard
Asei Inoue (Aug 30 2024 at 05:54):
I want to understand how to make my own code action.
example:
How can I make a code action to rewrite #eval to #guard? This action should convert #eval f x to #guard f x = b.
Last updated: May 02 2025 at 03:31 UTC