Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org "literate-programming" keyword
readme-lhs 0.8.1
This package provides support for literate programming in haskell, including: conversion between...11 versions - Latest release: over 3 years ago - 3.33 thousand downloads total - 7 stars on GitHub - 1 maintainer
agda2lagda 0.2023.6.9
Simple command line tool to convert plain Agda or Haskell files into literate files. Line commen...5 versions - Latest release: 11 months ago - 7 dependent repositories - 674 downloads total - 13 stars on GitHub - 1 maintainer