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: almost 5 years ago - 3.65 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: 28 days ago - 7 dependent repositories - 960 downloads total - 14 stars on GitHub - 1 maintainer