search

hazelgrove / hazel

Hazel, a live functional programming environment with typed holes
http://hazel.org/
MIT License
684 stars 45 forks source link

theorem-equals-in initial commit; needs testing and better ExplainThi… #1307

Closed nskh closed 2 months ago

nskh commented 2 months ago

Replaces #1263.

In-progress PR to add a theorem keyword in the style of let-equals-in to Hazel.

Based on stepper-rewrites this time.