luochen1990 - 代码之家

如何将别名转换为真实文件?

luochen1990 · 技术社区 · alias shell · 6 年前

luochen1990 · 技术社区 · dependent-type agda idris coq rust · 6 年前

如何在Haskell中导出多个函子实例?

luochen1990 · 技术社区 · bifunctor functor haskell · 6 年前

luochen1990 · 技术社区 · property-based-testing quickcheck haskell · 6 年前

luochen1990 · 技术社区 · agda idris coq · 7 年前

如何在VimScript中检测真实的操作系统?

luochen1990 · 技术社区 · msys2 vim-plugin vim · 7 年前

如何在PureScript中快速检查自定义ADT?

luochen1990 · 技术社区 · property-based-testing quickcheck purescript · 7 年前

luochen1990 · 技术社区 · purescript string · 7 年前

luochen1990 · 技术社区 · purely-functional functional-programming haskell · 7 年前

如何在Idris中使用“派生”?

luochen1990 · 技术社区 · deriving idris · 7 年前

luochen1990 · 技术社区 · haskell-stack cabal haskell · 7 年前

luochen1990 · 技术社区 · lambda-calculus functional-programming lambda · 7 年前

如何在Idris/Agda/Coq中模式匹配多个值?

luochen1990 · 技术社区 · idris dependent-type agda coq · 7 年前