GitHub repository: paulyoung/literate-purescript
Primary language: PureScript
Description:  Literate programming in PureScript.