Home
last modified time | relevance | path

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

/dports/devel/hs-hls-install/haskell-language-server-1.4.0/plugins/hls-tactics-plugin/src/Wingman/
H A DJudgements.hs159 :: Foldable t
164 filterAncestry ancestry reason jdg = function
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/plugins/hls-tactics-plugin/src/Wingman/
H A DJudgements.hs159 :: Foldable t
164 filterAncestry ancestry reason jdg = function