scrambled
Home//Concepts/Infix
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

Infix

Modified just now
Books
  • Chapter 1. Basics - functional programming in rocq
JourneyProgramming Language Theory Statuslearning

A Fixity where an operator appears between its two arguments (like x + y), as opposed to prefix or postfix.

A Fixity where an operator appears between its two arguments (like x + y), as opposed to prefix or postfix.

Previous in ConceptsInfinite typeNext in Concepts Inheritance
Books
  • Chapter 1. Basics - functional programming in rocq
JourneyProgramming Language Theory
Statuslearning