Skip to content
Sections
>> Trisquel >> 软件包 >> nabia >> haskell >> libghc-numtype-dk-dev
etiona  ] [  nabia  ] [  aramo  ]
[ 源代码: haskell-numtype-dk  ]

软件包: libghc-numtype-dk-dev (0.5.0.2-1build1)

type-level integers without fundeps

This package provides type level representations of the (positive and negative) integers and basic operations (addition, subtraction, multiplication, division, exponentiation) on these. The numtype-dk package differs from the numtype package in that the NumTypes are implemented using Data Kinds, TypeNats, and Closed Type Families rather than Functional Dependencies.

This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.

其他与 libghc-numtype-dk-dev 有关的软件包

  • 依赖
  • 推荐
  • 建议

下载 libghc-numtype-dk-dev

下载可用于所有硬件架构的
硬件架构 软件包大小 安装后大小 文件
amd64 29.0 kB320 kB [文件列表]
armhf 29.6 kB329 kB [文件列表]