Permalink
Commits on Mar 12, 2018
  1. Improve formating on ‘render-metafunction’

    leafac authored and rfindler committed Mar 12, 2018
    Follow ‘render-term’.
  2. Fix arrow in contract

    leafac authored and rfindler committed Mar 12, 2018
Commits on Mar 10, 2018
  1. Add documentation about literal terms

    leafac authored and rfindler committed Mar 7, 2018
Commits on Mar 8, 2018
  1. Document that relations work in reduction relations

    leafac authored and rfindler committed Mar 8, 2018
    As exemplified by the following program:
    
    ```racket
    #lang racket
    (require redex)
    (define-language L)
    (define-relation L
      [(r a)])
    (define ⇒
      (reduction-relation
       L
       (--> any it-holds
            (judgment-holds (r any)))))
    (apply-reduction-relation ⇒ (term a)) ;; => '(it-holds)
    (apply-reduction-relation ⇒ (term b)) ;; => '()
    ```
Commits on Mar 7, 2018
  1. Fix typo

    leafac authored and rfindler committed Mar 7, 2018
Commits on Oct 5, 2017
  1. Fix extra quote

    leafac authored and rfindler committed Oct 4, 2017
Commits on Oct 2, 2017
  1. Fix typos

    leafac authored and rfindler committed Oct 2, 2017
    “the the” and missing “to”
Commits on Jun 21, 2016
  1. Fix typo in documentation

    leafac authored and bennn committed Jun 17, 2016
Commits on May 17, 2016
Commits on May 12, 2016
  1. Fix typo (#57)

    leafac authored and rfindler committed May 12, 2016
    Repeated `the the`.
  2. Fix typo (#58)

    leafac authored and rfindler committed May 12, 2016
    Repeated `use use`.
  3. Fix typo (#56)

    leafac authored and rfindler committed May 12, 2016
    Missing a period in the end of sentence.