Skip to content
Commits on Nov 28, 2013
  1. @jfdm

    Tutorial changes.

    jfdm committed Nov 28, 2013
    + Tutorial is now developed in a separate github repo.
    + Moved examples to top-level
    + Added binary of tutorial for v0.9.10
Commits on Nov 20, 2013
  1. @jfdm

    Updated idrislang.sty

    jfdm committed Nov 20, 2013
Commits on Nov 13, 2013
  1. @jfdm

    Fixed reference errors, and improved idrislang.sty.

    jfdm committed Nov 13, 2013
    `idrislang.sty` now has:
    
    + idris and literateidris languages.
    + default styes: numbers and default
    + options to use literate and numbers.
    + reduced set of default keywords.
Commits on Nov 12, 2013
  1. @jfdm

    Converted examples to listings.

    jfdm committed Nov 12, 2013
  2. @jfdm

    Improved macros.

    jfdm committed Nov 12, 2013
    + Turned macros into a distinct package.
    + made use of verbtim based commands optional.
    + fancyvb support included with fpmacros
  3. @jfdm

    Various 'beneath the hood' improvements made to the tutorial project.

    jfdm committed Nov 12, 2013
    + Moved content to sub- directory.
    + Updated Makefile
    + Updated latex packages
      + Modern versions of font packages
      + nagging support for outdated LaTeX commands and packages.
      + Better font spacing and language support.
    + Added support for latexmk artifacts within .gitignore.
    + Added support for git and auto-fetching version info from tags.
      + Currently version info is hard coded.
      + If the correct hook is added the fetching can be automated.
Commits on Nov 3, 2013
  1. Clarify parity/natToBin in the tutorial

    committed Nov 3, 2013
    Fixes #583
Commits on Nov 1, 2013
  1. @folone

    Whitespace cleanup.

    folone committed Nov 1, 2013
Commits on Oct 6, 2013
  1. @reynir

    tutorial: update interactive proof

    reynir committed Oct 7, 2013
    Update interactive proof so it matches what one would get at the moment.
  2. @reynir

    tutorial: fix typos, add additional step to proof

    reynir committed Oct 7, 2013
    An additional step is needed to prove plusredZ_S, namely compute.
  3. @reynir

    tutorial ffi: add emphasis

    reynir committed Oct 6, 2013
    Add emphasis to 'target' in the examples so the string 'target' doesn't
    get confused with concrete syntax:
    
        %include target "x"
Commits on Oct 3, 2013
  1. @raichoo
Commits on Sep 10, 2013
  1. Give a bit more context for error messages

    committed Sep 10, 2013
    That is, say what part of what is being elaborated at the time. Still todo,
    better rendering of generated names like decorated names in where blocks,
    generated function types in classes and instances etc.
Commits on Sep 1, 2013
  1. tutorial: replace some leftover occurrence of fO

    Markus Pfeiffer committed Sep 1, 2013
Commits on Aug 9, 2013
  1. @ziman

    Fix a typo in the tutorial.

    ziman committed Aug 9, 2013
Commits on Jul 27, 2013
  1. Swapped Vect arguments

    committed Jul 27, 2013
    So now nicer to write type class instances for Functor, Applicative, etc
Commits on Jul 26, 2013
  1. @raichoo

    rename fO into fZ

    raichoo committed Jul 26, 2013
  2. @raichoo

    rename O into Z

    raichoo committed Jul 26, 2013
Commits on Jul 13, 2013
  1. @Melvar

    rename fmap to map

    Melvar committed Jul 13, 2013
    To still allow disambiguation of List.map vs. Functor.map on List arguments, I
    replaced the former entirely by moving the Functor instance of List into
    Prelude/List.idr (and importing Prelude.Functor there).
Commits on Jun 22, 2013
  1. Merge pull request #340 from JanBessai/BackendTargetSpecification

    committed Jun 22, 2013
    Added back end target specification to %lib, %link and %include directives
Commits on Jun 21, 2013
  1. @JanBessai

    Fix tutorial text

    JanBessai committed Jun 21, 2013
  2. @JanBessai
  3. @david-christiansen
  4. @david-christiansen
Commits on Jun 15, 2013
  1. Merge pull request #330 from byorgey/patch-2

    committed Jun 15, 2013
    another small typo fix in tutorial
Commits on Jun 11, 2013
  1. @byorgey
  2. @byorgey
Commits on May 16, 2013
Commits on Apr 14, 2013
  1. Update version number in tutorial

    committed Apr 14, 2013
Commits on Mar 21, 2013
  1. @david-christiansen
Commits on Mar 17, 2013
  1. Merge branch 'AddMissingStrLen' of https://github.com/JanBessai/Idris…

    committed Mar 17, 2013
    …-dev into JanBessai-AddMissingStrLen
    
    Conflicts:
    	test/reg012/run
Commits on Mar 10, 2013
  1. Minor tutorial updates

    committed Mar 10, 2013
Commits on Feb 28, 2013
  1. @tauli
Commits on Feb 27, 2013
Something went wrong with that request. Please try again.