hackage.haskell.org "literate-programming" keyword
View the packages on the hackage.haskell.org package registry that are tagged with the "literate-programming" keyword.
readme-lhs 0.8.1
This package provides support for literate programming in haskell, including: conversion between...11 versions - Latest release: about 5 years ago - 3.75 thousand downloads total - 7 stars on GitHub - 1 maintainer
agda2lagda 0.2025.9.5
Simple command line tool to convert plain Agda or Haskell files into literate files. Line commen...6 versions - Latest release: 5 months ago - 7 dependent repositories - 1.05 thousand downloads total - 14 stars on GitHub - 1 maintainer