hackage.haskell.org "literate-programming" keyword
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: 6 months ago - 7 dependent repositories - 1.1 thousand downloads total - 14 stars on GitHub - 1 maintainer
readme-lhs 0.8.1
This package provides support for literate programming in haskell, including: conversion between...11 versions - Latest release: over 5 years ago - 3.78 thousand downloads total - 7 stars on GitHub - 1 maintainer