Home
last modified time | relevance | path

Searched refs:notaIsOperator (Results 1 – 3 of 3) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/
H A DNotation.hs222 , notaIsOperator :: Bool function
238 , notaIsOperator = null syn function
301 , notaIsOperator n
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Concrete/
H A DOperators.hs256 , if notaIsOperator n
315 , isinfix n && notaIsOperator n
338 , notaIsOperator n
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/
H A DErrors.hs1024 (if notaIsOperator nota