1. 21 Mar, 2019 1 commit
  2. 11 Mar, 2019 1 commit
  3. 03 Jan, 2019 1 commit
  4. 22 Dec, 2018 2 commits
  5. 21 Dec, 2018 1 commit
  6. 10 Dec, 2018 1 commit
  7. 01 Dec, 2018 1 commit
  8. 09 Nov, 2018 4 commits
  9. 21 Oct, 2018 1 commit
    • Hans-Peter Deifel's avatar
      Rename MonoidValued functor to GroupValued · 225253ef
      Hans-Peter Deifel authored
      Those functors really require the inverse operation to perform as
      required. A separate functor for monoids that aren't groups is
      feasable, but would not satisfy the runtime complexity requirements.
      225253ef
  10. 19 Oct, 2018 2 commits
  11. 04 Oct, 2018 1 commit
  12. 03 Oct, 2018 1 commit
  13. 10 Sep, 2018 1 commit
  14. 02 Sep, 2018 1 commit
  15. 28 Aug, 2018 1 commit
  16. 11 Aug, 2018 1 commit
  17. 26 Jul, 2018 2 commits
    • Hans-Peter Deifel's avatar
      Speed up parsing of character symbols · 0fe8225a
      Hans-Peter Deifel authored
      This makes lexer combinators like `colon` or `parens` a little faster,
      which adds up for large inputs.
      0fe8225a
    • Hans-Peter Deifel's avatar
      Clean and speed up whitespace parsing · 7ffafe17
      Hans-Peter Deifel authored
      This cleans up newline handling in the whitespace parser:
      
      Newlines are not treated the same as other whitespace any more and are
      only allowed after the functor expression and between individual
      morphism points.
      
      By doing this, we get a less surprising grammar for parsing ("x: { y:"
      would never try to parse the "y:" as the start of a new definition)
      and can speed up the hot path (a single space character) considerably.
      7ffafe17
  18. 24 Jul, 2018 4 commits
  19. 23 Jul, 2018 1 commit