Skip to content
This repository

Nov 20, 2013

  1. Liyang HU

    Control.Lens.Combinators: repurposed to reëxport Control.Lens sans Op…

    …erators
    
    ∙ Closes #289.
    authored

Nov 19, 2013

  1. Liyang HU

    scripts/stats: count operators under src/Control/Lens/ separately

    authored

Nov 18, 2013

  1. Liyang HU

    scripts/stats: remove fudge for Zipper; describe in README.md

    ∙ Zippers were removed in c9c6509.
    authored

Mar 25, 2013

  1. Eric Mertens

    Remove references to recently removed includes/ directory

    authored

Mar 12, 2013

  1. Liyang HU

    scripts/stats: include let … in … doctests, and fudge type operators

    authored
  2. Liyang HU

    scripts/stats: unsafeCoerces should include #. and .#

    authored
  3. Liyang HU

    scripts/stats: unsafeCoerces: … | doctests: … | operators: … | module…

    …s: …
    authored

Feb 13, 2013

  1. Eric Mertens

    Extend DocTypes script to handle more cases

    authored

Feb 12, 2013

  1. Eric Mertens

    Make types match documentation in Data.List.Split.Lens

    authored
  2. Eric Mertens

    Add DocTypes script

    This script is designed to assist in verifying that our numerous
    documentation types are checked.
    
    Example usage:
    cd lens
    ls src/Control/Lens/*.hs | xargs runghc DocTypes.hs > typecheck.hs
    ghci typecheck.hs
    
    This functionality could certainly be expanded.
    authored

Dec 24, 2012

  1. Johan Kiviniemi

    scripts/run-gource: Work around MP4Box temporary file location

    MP4Box puts temporary files to the current directory and tries to use
    rename(2) to move them to the final destination, which fails if it’s on
    another partition. Provide the temporary directory explicitly based on
    the output path.
    authored
  2. Johan Kiviniemi

    scripts/README: Add Aspell link

    authored
  3. Johan Kiviniemi

    scripts: Add spellcheck

    authored
  4. Johan Kiviniemi

    scripts: Add README, github-fetch-images, run-gource

    authored
Something went wrong with that request. Please try again.