Skip to content

Conversation

@Futarimiti
Copy link
Contributor

Recognise and trigger indentations for multiway-lambda expressions.

Example:

filter = \cases _ [] -> [] >>>>>>>>>>>>>>>>p (x:xs) | p x -> x : filter p xs | otherwise -> filter p xs
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

1 participant