Zulip Chat Archive

Stream: lean4

Topic: View patterns

Joe Hendrix (Jan 25 2022 at 18:54):

Have their been efforts to support Haskell style view patterns in Lean? If not, do others have thoughts on the feasibility of implementing them via user syntax?

Reid Barton (Jan 25 2022 at 18:56):

for reference: https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/view_patterns.html

Arthur Paulino (Jan 25 2022 at 19:14):

The link doesn't work for me

Alice Laroche (Jan 25 2022 at 19:16):

It work for me

Arthur Paulino (Jan 25 2022 at 19:16):

And now it worked for me too :upside_down:

Last updated: Dec 20 2023 at 11:08 UTC