scrambled
Home//Concepts/Fixity
scrambled
Overviewjust now
154
2
4
1082
3
2
24
633
Dimensional inference rule formatjust nowAbstract binding graphjust nowAbstract binding tree abtjust nowAbstract binding tree abt valence abstractorjust nowAbstract data typejust now
408
11
4
Overviewjust now
154
2
4
1082
3
2
24
633
Dimensional inference rule formatjust nowAbstract binding graphjust nowAbstract binding tree abtjust nowAbstract binding tree abt valence abstractorjust nowAbstract data typejust now
408
11
4
Concept

Fixity

Modified just now
Books
  • Chapter 1. Basics - functional programming in rocq
JourneyProgramming Language Theory Statusmastered Tags
  • syntax grammar

A syntactic property specifying an operator's position relative to its arguments: prefix (-x), infix (x + y), or postfix (x!).

A syntactic property specifying an operator's position relative to its arguments: prefix (-x), infix (x + y), or postfix (x!).

Previous in ConceptsFixed point combinatorNext in Concepts Flow analysis
Books
  • Chapter 1. Basics - functional programming in rocq
JourneyProgramming Language Theory
Statusmastered
Tags
  • syntax grammar