Ubuntu

libghc-singletons-dev binary package in Ubuntu Mantic riscv64

  1. Mantic (23.10)
  2. riscv64
  3. libghc-singletons-dev

 This library generates singleton types, promoted functions, and singleton
 functions using Template Haskell. It is useful for programmers who wish
 to use dependently typed programming techniques. The library was originally
 presented in /Dependently Typed Programming with Singletons/, published
 at the Haskell Symposium, 2012.
 .
 This package provides a library for the Haskell programming language.
 See http://www.haskell.org/ for more information on Haskell.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2023-04-25 12:10:09 UTC Published Ubuntu Mantic riscv64 release universe haskell Optional 3.0.2-1build2
  • Published
  • Copied from ubuntu lunar-proposed riscv64 in Primary Archive for Ubuntu

Source package