Questions tagged [syntax]
In computer science, the syntax of a computer language is the set of rules that defines the combinations of symbols that are considered to be correctly structured statements or expressions in that language. (from Wikipedia)
3
questions
1
vote
0
answers
23
views
Use of `by` on first line of lean proof - when to / when not to? [duplicate]
The following lean4 proof generates no warnings or errors.
...
- 119
4
votes
0
answers
159
views
Does Lean 4 have syntax to refer to the current thing being defined?
If I am defining a function (using def for example) then is there some way to refer to the function being defined inside its definition without using the name of ...
- 41
8
votes
2
answers
709
views
Curly Braces and Lambdas in Agda
The docs on lambdas in Agda provide two forms of lambda: a curly brace based version, and the where syntax. But while writing some programs, I stumbled across a third version: one pattern, no braces, ...
