Commits

Commit history

1. Commits on Aug 2, 2018

   • Reduce samples/counter.mlc

     codedot

     committed
     46f1821View commit details

     Copy full SHA for 46f1821

     View code at this pointBrowse repository at this point
2. Commits on Apr 23, 2018

   • Update samples/counter.mlc to fail 'abstract'

     codedot

     committed
     d044a9bView commit details

     Copy full SHA for d044a9b

     View code at this pointBrowse repository at this point
3. Commits on Mar 28, 2018

   • Update samples/counter.mlc to fail 'abstract'

     codedot

     committed
     9a5bb96View commit details

     Copy full SHA for 9a5bb96

     View code at this pointBrowse repository at this point
4. Commits on Mar 24, 2018

   • Remove samples 4222i and 222210i

     codedot

     committed
     757e066View commit details

     Copy full SHA for 757e066

     View code at this pointBrowse repository at this point
5. Commits on Nov 5, 2017

   • Rename cfact[45].mlc and remove yfact[45].mlc

     codedot

     committed
     58115fdView commit details

     Copy full SHA for 58115fd

     View code at this pointBrowse repository at this point

   • Test (FactY 9 I)

     codedot

     committed
     ea6b299View commit details

     Copy full SHA for ea6b299

     View code at this pointBrowse repository at this point

   • Test (Fibo 20 I)

     codedot

     committed
     7f7fdd8View commit details

     Copy full SHA for 7f7fdd8

     View code at this pointBrowse repository at this point

   • Test (Fact 100 I)

     codedot

     committed
     4fec9d7View commit details

     Copy full SHA for 4fec9d7

     View code at this pointBrowse repository at this point

   • Test (Fact 1k Not T)

     codedot

     committed
     cf4a79bView commit details

     Copy full SHA for cf4a79b

     View code at this pointBrowse repository at this point

   • Test (FactY 6 Not T)

     codedot

     committed
     c4fe3ecView commit details

     Copy full SHA for c4fe3ec

     View code at this pointBrowse repository at this point

   • Test (Fibo 16 Not T)

     codedot

     committed
     39836c7View commit details

     Copy full SHA for 39836c7

     View code at this pointBrowse repository at this point

   • Get rid of samples/lib.mlc

     codedot

     committed
     40b9c6dView commit details

     Copy full SHA for 40b9c6d

     View code at this pointBrowse repository at this point
6. Commits on Nov 4, 2017

   • Factor out CFACT and YFACT

     codedot

     committed
     c3f6403View commit details

     Copy full SHA for c3f6403

     View code at this pointBrowse repository at this point

   • Copy helper.txt to samples/lib.mlc

     codedot

     committed
     c3849e6View commit details

     Copy full SHA for c3849e6

     View code at this pointBrowse repository at this point

   • Move nfs from test.sh to samples/*.mlc

     codedot

     committed
     aec8ea1View commit details

     Copy full SHA for aec8ea1

     View code at this pointBrowse repository at this point
7. Commits on Oct 31, 2017

   • Update samples

     codedot

     committed
     9521b3aView commit details

     Copy full SHA for 9521b3a

     View code at this pointBrowse repository at this point
8. Commits on Jan 31, 2017

   • Test C2 C2 C2 C2 C10 I I

     codedot

     committed
     9055711View commit details

     Copy full SHA for 9055711

     View code at this pointBrowse repository at this point

   • Include one more Church sample

     codedot

     committed
     259a94cView commit details

     Copy full SHA for 259a94c

     View code at this pointBrowse repository at this point

   • Include more Church samples

     codedot

     committed
     66fe9f4View commit details

     Copy full SHA for 66fe9f4

     View code at this pointBrowse repository at this point

   • Include Church factorial samples

     codedot

     committed
     e15c8b2View commit details

     Copy full SHA for e15c8b2

     View code at this pointBrowse repository at this point

   • Rename samples

     codedot

     committed
     08f265aView commit details

     Copy full SHA for 08f265a

     View code at this pointBrowse repository at this point
9. Commits on Jan 29, 2017

   • Factor out test.sh

     codedot

     committed
     bba35a7View commit details

     Copy full SHA for bba35a7

     View code at this pointBrowse repository at this point

   • Do not export samples in API

     codedot

     committed
     11eddc6View commit details

     Copy full SHA for 11eddc6

     View code at this pointBrowse repository at this point
10. Commits on Jan 27, 2017

    • Enable strict mode in new modules

      codedot

      committed
      68bd5fbView commit details

      Copy full SHA for 68bd5fb

      View code at this pointBrowse repository at this point

    • Do not redefine common combinators

      codedot

      committed
      d1bfef1View commit details

      Copy full SHA for d1bfef1

      View code at this pointBrowse repository at this point

    • Import other examples

      codedot

      committed
      7955818View commit details

      Copy full SHA for 7955818

      View code at this pointBrowse repository at this point
11. Commits on Jan 26, 2017

    • Factor out samples to a separate directory

      codedot

      committed
      f8eebe0View commit details

      Copy full SHA for f8eebe0

      View code at this pointBrowse repository at this point
12. Loading