| /dports/www/nextcloud/nextcloud/lib/l10n/ |
| H A D | nn_NO.json | 33 "We" : "On", string
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/what4-1.1/src/What4/Utils/ |
| H A D | Arithmetic.hs | 46 -- We define @lgCeil 0 = 0@ function
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/SizedTypes/ |
| H A D | Solve.hs | 228 -- We first strengthen @Δ ⊢ c@ to live in @Δ₁@ and obtain @c₁ = strengthen Δ₂ c@. function
229 -- We then transport @c₁@ to @Γ@ and obtain @c₂ = applySubst σ c₁@. function
|
| /dports/science/rdkit/rdkit-Release_2021_03_5/Code/GraphMol/Descriptors/ |
| H A D | AUTOCORR3D.cpp | 97 VectorXd We = getEigenVect(we); in get3DautocorrelationDesc() local
|
| /dports/lang/purescript/purescript-0.14.5/_cabal_deps/vector-algorithms-0.8.0.4/src/Data/Vector/Algorithms/ |
| H A D | Radix.hs | 30 -- * We choose to sort on r = 8 bits at a time function
|
| /dports/games/hedgewars-server/hedgewars-src-1.0.0/gameServer/_cabal_deps/vector-algorithms-0.8.0.3/src/Data/Vector/Algorithms/ |
| H A D | Radix.hs | 30 -- * We choose to sort on r = 8 bits at a time function
|
| /dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/vector-algorithms-0.8.0.3/src/Data/Vector/Algorithms/ |
| H A D | Radix.hs | 30 -- * We choose to sort on r = 8 bits at a time function
|
| /dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/vector-algorithms-0.8.0.3/src/Data/Vector/Algorithms/ |
| H A D | Radix.hs | 30 -- * We choose to sort on r = 8 bits at a time function
|
| /dports/devel/hs-hpack/hpack-0.34.4/_cabal_deps/vector-algorithms-0.8.0.3/src/Data/Vector/Algorithms/ |
| H A D | Radix.hs | 30 -- * We choose to sort on r = 8 bits at a time function
|
| /dports/devel/hs-spago/spago-0.20.3/_cabal_deps/vector-algorithms-0.8.0.4/src/Data/Vector/Algorithms/ |
| H A D | Radix.hs | 30 -- * We choose to sort on r = 8 bits at a time function
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/vector-algorithms-0.8.0.4/src/Data/Vector/Algorithms/ |
| H A D | Radix.hs | 30 -- * We choose to sort on r = 8 bits at a time function
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/vector-algorithms-0.8.0.4/src/Data/Vector/Algorithms/ |
| H A D | Radix.hs | 30 -- * We choose to sort on r = 8 bits at a time function
|
| /dports/devel/hs-darcs/darcs-2.16.4/_cabal_deps/vector-algorithms-0.8.0.4/src/Data/Vector/Algorithms/ |
| H A D | Radix.hs | 30 -- * We choose to sort on r = 8 bits at a time function
|
| /dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/vector-algorithms-0.8.0.3/src/Data/Vector/Algorithms/ |
| H A D | Radix.hs | 30 -- * We choose to sort on r = 8 bits at a time function
|
| /dports/devel/hs-ghcprofview/ghcprofview-0.1.0.1/_cabal_deps/vector-algorithms-0.8.0.4/src/Data/Vector/Algorithms/ |
| H A D | Radix.hs | 30 -- * We choose to sort on r = 8 bits at a time function
|
| /dports/deskutils/hs-arbtt/arbtt-0.10.2/_cabal_deps/vector-algorithms-0.8.0.3/src/Data/Vector/Algorithms/ |
| H A D | Radix.hs | 30 -- * We choose to sort on r = 8 bits at a time function
|
| /dports/www/hs-yesod-bin/yesod-bin-1.6.1/_cabal_deps/vector-algorithms-0.8.0.4/src/Data/Vector/Algorithms/ |
| H A D | Radix.hs | 30 -- * We choose to sort on r = 8 bits at a time function
|
| /dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/vector-algorithms-0.8.0.3/src/Data/Vector/Algorithms/ |
| H A D | Radix.hs | 30 -- * We choose to sort on r = 8 bits at a time function
|
| /dports/devel/stack/stack-2.7.3/_cabal_deps/vector-algorithms-0.8.0.4/src/Data/Vector/Algorithms/ |
| H A D | Radix.hs | 30 -- * We choose to sort on r = 8 bits at a time function
|
| /dports/textproc/hs-yaml/yaml-0.11.5.0/_cabal_deps/vector-algorithms-0.8.0.3/src/Data/Vector/Algorithms/ |
| H A D | Radix.hs | 30 -- * We choose to sort on r = 8 bits at a time function
|
| /dports/textproc/hs-pandoc-crossref/pandoc-crossref-0.3.12.0/_cabal_deps/vector-algorithms-0.8.0.4/src/Data/Vector/Algorithms/ |
| H A D | Radix.hs | 30 -- * We choose to sort on r = 8 bits at a time function
|
| /dports/textproc/hs-pandoc/pandoc-2.14.2/_cabal_deps/vector-algorithms-0.8.0.4/src/Data/Vector/Algorithms/ |
| H A D | Radix.hs | 30 -- * We choose to sort on r = 8 bits at a time function
|
| /dports/textproc/cgrep/cgrep-6.6.32/_cabal_deps/vector-algorithms-0.8.0.3/src/Data/Vector/Algorithms/ |
| H A D | Radix.hs | 30 -- * We choose to sort on r = 8 bits at a time function
|
| /dports/x11/hs-xmobar/xmobar-0.39/_cabal_deps/vector-algorithms-0.8.0.3/src/Data/Vector/Algorithms/ |
| H A D | Radix.hs | 30 -- * We choose to sort on r = 8 bits at a time function
|
| /dports/games/hedgewars-server/hedgewars-src-1.0.0/gameServer/_cabal_deps/network-2.8.0.1/ |
| H A D | Network.hs | 236 -- We should probably specify addrFamily = AF_INET6 and the filter function
|