Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Commits on Aug 14, 2014
  1. restart Fan!!

    authored
    document develop process :-)
Commits on Mar 3, 2014
  1. snapshot

    authored
Commits on Dec 29, 2013
  1. separate [strip] module

    authored
  2. a first fix for the top-level

    authored
    #use ... now works
Commits on Dec 28, 2013
  1. merge

    authored
  2. change all type annotations to coercions.

    authored
    %exp{$id{x}}
    -->  ((x :> Astf.vid) :> Astf.exp)
  3. remove ant files

    authored
Commits on Dec 27, 2013
  1. adjust some files

    authored
  2. snapshot

    authored
  3. adjust some files

    authored
  4. tweak

    authored
  5. tweak

    authored
  6. tweak

    authored
  7. simplify

    authored
  8. simplify antiquot expander

    authored
  9. clean parser api

    authored
Commits on Dec 26, 2013
  1. tweak

    authored
  2. todo: fix toplevel bug

    authored
  3. `Uid "()" -- deprecated

    authored
    use `Unit instead
    sanitize check needed later
  4. get rid of ast node like Lid "true",

    authored
    probably we need a safety check when dumping Lid --> to Parsetree, this is necessary considering we allow anti quotation --
  5. add `Bool for ast

    authored
    advantage:
    more precise semantics: like [is_irrefutable_pattern]
  6. rename and move some files

    authored
  7. clean up --

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