1. 21 Aug, 2014 1 commit
  2. 23 Jul, 2014 1 commit
  3. 15 Jul, 2014 4 commits
  4. 11 Jul, 2014 5 commits
  5. 10 Jul, 2014 1 commit
  6. 09 Jul, 2014 1 commit
  7. 08 Jul, 2014 3 commits
  8. 07 Jul, 2014 1 commit
  9. 01 Jul, 2014 5 commits
  10. 27 Jun, 2014 3 commits
    • Pietro Abate's avatar
      Add delta to Types.Tallying.{norm,merge} · 0a8cd35e
      Pietro Abate authored
      - delta is not yet used to do anything meaningful
      - remove optional argument ?fresh from Var.mk (legacy not used)
      - print -> pp,printf refactoring
      0a8cd35e
    • Julien Lopez's avatar
      We don't need parentheses for type variables in regexp anymore, the syntax is · 9b94eb11
      Julien Lopez authored
      now as such:
      	- ['a] is the regexp matching the type variable "a";
      	- ['a'] is the regexp matching the string "a";
      	- ['a' 'a] is the regexp matching the string "a" followed by the type
      	variable "a";
      	- ['a''a] is a syntax error (a string in single quotes in a regexp MUST
      	be followed by a character that cannot be the beginning of a name for a
      	type variable, a blank character will do).
      
      Bug: At this point, when using CDuce at toplevel, one will have to press enter
      twice when typing a regexp with type variables.
      9b94eb11
    • Julien Lopez's avatar
      Fix in typer · c31e7efd
      Julien Lopez authored
      c31e7efd
  11. 26 Jun, 2014 5 commits
  12. 25 Jun, 2014 1 commit
  13. 24 Jun, 2014 2 commits
  14. 23 Jun, 2014 3 commits
  15. 20 Jun, 2014 3 commits
  16. 19 Jun, 2014 1 commit