Skip to content

RFC: Make telescope constructors & functions use binding operators#3463

Draft
andrevidela wants to merge 1 commit intoidris-lang:mainfrom andrevidela:telescope-binding-operators
+25-21

Commits

Commits on Jan 15, 2025