Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 14, 2022

• I really want this to be the last update

  sgillespie

  authored
  b73ad02

  Copy full SHA for b73ad02

• Update README formatting one more time

  sgillespie

  authored
  1f7a18a

  Copy full SHA for 1f7a18a

• Update README formatting

  sgillespie

  committed
  81555f2

  Copy full SHA for 81555f2

• Update README

  sgillespie

  committed
  7aa94b5

  Copy full SHA for 7aa94b5

• Remove code now hosted elsewhere

  sgillespie

  committed
  70e074a

  Copy full SHA for 70e074a

Commits on Apr 21, 2022

• Update lambda-calculus.md

  Show description for 25a6ce1
  sgillespie

  authored
  25a6ce1

  Copy full SHA for 25a6ce1

Commits on Mar 11, 2022

• Merge pull request #4 from DivergentClouds/patch-1

  Show description for 137786c
  sgillespie

  authored
  137786c

  Copy full SHA for 137786c

Commits on Jan 31, 2022

• fix typos as per #3

  Show description for fe8a9fd
  DivergentClouds

  authored
  fe8a9fd

  Copy full SHA for fe8a9fd

Commits on Jan 28, 2018

• Update `subGlobals` logic

  Show description for ff34b26
  sgillespie

  committed
  ff34b26

  Copy full SHA for ff34b26

Commits on Jan 27, 2018

• Add let support in Lambda evaluator

  sgillespie

  committed
  c8ab7d2

  Copy full SHA for c8ab7d2

• Make sure we print a newline after the evalutation result

  sgillespie

  committed
  0e5d2f7

  Copy full SHA for 0e5d2f7

Commits on Jan 25, 2018

• Add support for let expressions in parser and pretty printer

  sgillespie

  committed
  a35e8d0

  Copy full SHA for a35e8d0

Commits on Jan 23, 2018

• More infrastructure work to add globals

  sgillespie

  committed
  0aa1b1d

  Copy full SHA for 0aa1b1d

Commits on Jan 20, 2018

• Prerequisites for supporting Global state

  sgillespie

  committed
  cba6a55

  Copy full SHA for cba6a55

• Update gitignore

  Show description for af6297b
  sgillespie

  committed
  af6297b

  Copy full SHA for af6297b

• Replace readline with haskeline

  Show description for 5db4b3d
  sgillespie

  committed
  5db4b3d

  Copy full SHA for 5db4b3d

Commits on Dec 26, 2017

• Add hpack

  sgillespie

  committed
  92601a2

  Copy full SHA for 92601a2

• Upgrade lts-10.0

  sgillespie

  committed
  8fc8ff1

  Copy full SHA for 8fc8ff1

Commits on Jun 19, 2017

• Upgrade to lts@latest

  sgillespie

  committed
  7166e10

  Copy full SHA for 7166e10

Commits on Apr 7, 2017

• Update README

  Show description for 93ca6c7
  sgillespie

  authored
  93ca6c7

  Copy full SHA for 93ca6c7

• Bump to 2.0.0

  sgillespie

  committed
  61f66c5

  Copy full SHA for 61f66c5

• Update base < 5

  sgillespie

  committed
  3793d3c

  Copy full SHA for 3793d3c

Commits on Apr 6, 2017

• Upgrade to Stackage LTS@8.8

  sgillespie

  committed
  9dc03e1

  Copy full SHA for 9dc03e1

Commits on Mar 8, 2017

• Update SystemF TypeChecker

  Show description for 548b576
  sgillespie

  committed
  548b576

  Copy full SHA for 548b576

Commits on Mar 3, 2017

• Update SystemF typechecker

  Show description for 965ea5d
  sgillespie

  committed
  965ea5d

  Copy full SHA for 965ea5d

Commits on Jan 8, 2017

• Update SystemF Expression test

  sgillespie

  committed
  f7e2b56

  Copy full SHA for f7e2b56

• Update SystemF syntax

  Show description for b018774
  sgillespie

  committed
  b018774

  Copy full SHA for b018774

Commits on Jan 7, 2017

• Update SystemF Type checker

  Show description for 3a94b6c
  sgillespie

  committed
  3a94b6c

  Copy full SHA for 3a94b6c

• Add a small typechecker

  sgillespie

  committed
  8c85394

  Copy full SHA for 8c85394

Commits on Jan 3, 2017

• v1.1.1

  sgillespie

  committed
  9fabf26

  Copy full SHA for 9fabf26

• Fix cabal build

  Show description for 8b1a186
  sgillespie

  committed
  8b1a186

  Copy full SHA for 8b1a186

Commits on Jan 2, 2017

• v1.1.0

  sgillespie

  committed
  dec1e6b

  Copy full SHA for dec1e6b

• Make System F a secret feature

  sgillespie

  committed
  2df9001

  Copy full SHA for 2df9001

Commits on Dec 31, 2016

• Add an hlint test suite

  sgillespie

  committed
  47e9376

  Copy full SHA for 47e9376

• Refactor based on static analysis

  sgillespie

  committed
  435251b

  Copy full SHA for 435251b

Pagination

Previous

Next