search

edwinb / Idris2-boot

A dependently typed programming language, a successor to Idris
https://idris-lang.org/
Other
902 stars 58 forks source link

Add compatibility with the original record update syntax. #331

Closed ziman closed 4 years ago

ziman commented 4 years ago

This will support record { x->y = z } in addition to record { x.y = z }.