juvix icon indicating copy to clipboard operation
juvix copied to clipboard

Eta expansion at the top of each core function definition (#1481)

Open janmasrovira opened this issue 2 years ago • 0 comments

Closes #1481.

janmasrovira avatar Oct 03 '22 11:10 janmasrovira