marcosh - 代码之家

FFI中带有Aff回调的函数

marcosh · 技术社区 · purescript ffi asynchronous javascript · 5 年前

Idris-派生扩展接口实例

marcosh · 技术社区 · idris interface · 6 年前

组件上的对相等

marcosh · 技术社区 · idris equality · 6 年前

为多个类型变量定义约束

marcosh · 技术社区 · haskell · 6 年前

带有对象列表的OpenAPI查询字符串参数

marcosh · 技术社区 · openapi jsonschema swagger json · 6 年前

左右递归分析器

marcosh · 技术社区 · megaparsec haskell parsing · 7 年前

marcosh · 技术社区 · callable types php · 7 年前

递归解析器

marcosh · 技术社区 · megaparsec haskell parsing · 7 年前

在类型类中使用代理

marcosh · 技术社区 · typeclass haskell · 7 年前

是否可以迭代非自同态的应用?

marcosh · 技术社区 · template-haskell haskell · 7 年前

异构GADT列表

marcosh · 技术社区 · gadt haskell · 7 年前

Idris-定义素数类型

marcosh · 技术社区 · idris primes · 8 年前