Jan Mas Rovira 2793514325 Puns for named application (#2890) ... Since it is common to want to assign a named argument a variable of the same name, we add special syntax for it. E.g. ``` f (fieldA : A) (fieldB : B) : S := mkS@{ fieldC := fieldA; -- normal named argument fieldA; -- pun fieldB -- pun }; ```		2024-07-16 12:23:22 +02:00
..
package	Puns for named application (#2890)	2024-07-16 12:23:22 +02:00
package-base/Juvix/Builtin	Make Maybe a builtin inductive type (#2860)	2024-06-26 17:12:29 +01:00