Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Commits on Oct 14, 2012
Commits on Oct 7, 2012
  1. Deal with shadowing better in patterns

    authored
    Variable names in patterns should override global names, as long as
    they are not applied to anything. If the global name is desired (e.g.
    if it is the result of a dependency elsewhere, either use a _ or
    give the qualified version of the name)
Commits on Sep 25, 2012
  1. Added simple library packaging system

    Edwin Brady authored
    Now used for the prelude (see lib/base.ipkg)
Commits on Sep 20, 2012
  1. Added Util.System for compatibility

    Edwin Brady authored
    (thanks to Dirk Ullrich)
  2. Support linking external .o files in new compiler

    Edwin Brady authored
Commits on Sep 15, 2012
  1. Removed Epic dependency

    Edwin Brady authored
Commits on Sep 14, 2012
  1. Don't lambda lift unused arguments

    Edwin Brady authored
Commits on Sep 13, 2012
Commits on Sep 7, 2012
  1. Almost working new back end

    Edwin Brady authored
Commits on Sep 6, 2012
  1. Added some useful standard foreign functions for IO

    Edwin Brady authored
Commits on Sep 4, 2012
  1. Added defunctionalisation to IRTS

    Edwin Brady authored
    idris --fovm now gives a full defunctionalising compiler for a
    supercombinator language
Commits on Aug 31, 2012
  1. Set up C generator

    Edwin Brady authored
Commits on Aug 30, 2012
  1. rename rts include file

    Edwin Brady authored
Commits on Aug 7, 2012
  1. Add IRTS/Bytecode

    Edwin Brady authored
Commits on Aug 6, 2012
Commits on Aug 4, 2012
Commits on Jul 18, 2012
Commits on Jun 15, 2012
  1. Quicker resolution of overloaded names

    Edwin Brady authored
    By checking the name's type against the goal type rather than fully
    checking.
Commits on May 23, 2012
  1. Started C generation

    Edwin Brady authored
Commits on May 22, 2012
  1. Add PreC, for an imperative intermediate form that should be easy to …

    Edwin Brady authored
    …generate code from
  2. Different approach to bytecode

    Edwin Brady authored
Commits on May 15, 2012
  1. More towards the new compiler

    Edwin Brady authored
Commits on May 14, 2012
Commits on Apr 10, 2012
Commits on Mar 29, 2012
  1. Util.Pretty missing

    Edwin Brady authored
Commits on Mar 1, 2012
  1. @dpmulligan
  2. Remove Eq constraint from Num

    Edwin Brady authored
Commits on Feb 28, 2012
  1. @dpmulligan

    Got pretty printing partially working using the Pretty type class as …

    dpmulligan authored
    …a replacement for Show. Now need to tweak it in order to make everything look nice, and to get terms printing correctly!
Commits on Feb 27, 2012
  1. Update dependencies and correct examples

    Edwin Brady authored
Commits on Feb 23, 2012
  1. Added prim__bigIntToInt (needs latest EpiVM)

    Edwin Brady authored
Commits on Feb 6, 2012
  1. Fix let overloading bug with do blocks

    Edwin Brady authored
Commits on Feb 2, 2012
  1. Some documentation updates

    Edwin Brady authored
Commits on Jan 24, 2012
  1. Error message tinker

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