Home
last modified time | relevance | path

Searched defs:NaturalTimes (Results 1 – 2 of 2) sorted by relevance

/dports/lang/nickle/nickle-2.90/
H A Dnatural.c579 NaturalTimes (Natural *a, Natural *b) in NaturalTimes() function
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/dhall-1.38.1/src/Dhall/
H A DSyntax.hs506 | NaturalTimes (Expr s a) (Expr s a) constructor