Commits

Branch selector

dev

User selector

All users

All time

Commit history

Commits on Jan 3, 2022

• Fix underscore (#572)

  Show description for 6d406e5
  nj-wilson

  authored
  6d406e5View commit details

  Copy full SHA for 6d406e5

  Browse repository at this point

Commits on Nov 30, 2021

• Cleanup KeyComboAction.get_model_action_from_kc (#569)

  Show description for db55144
  mirryi

  authored
  db55144View commit details

  Copy full SHA for db55144

  Browse repository at this point

Commits on Nov 25, 2021

• fix caret blink issue exception bug (#562)

  disconcision

  authored
  01912d5View commit details

  Copy full SHA for 01912d5

  Browse repository at this point

Commits on Nov 24, 2021

• bugfix: clean up typing and elaboration of pattern annotations (#567)

  Show description for e4d6017
  

  dedbox

  and

  Eric Griffis

  authored
  e4d6017View commit details

  Copy full SHA for e4d6017

  Browse repository at this point

Commits on Nov 18, 2021

• bugfix: drop spurious analysis in elaboration and cursor info of lambdas in synthetic position (#565)

  Show description for e1e5fc3
  

  dedbox

  and

  Eric Griffis

  authored
  e1e5fc3View commit details

  Copy full SHA for e1e5fc3

  Browse repository at this point

Commits on Nov 5, 2021

• Replace InvalidInput codes with proper EvaluatorError type (#555)

  Show description for 513d6b0
  mirryi

  authored
  513d6b0View commit details

  Copy full SHA for 513d6b0

  Browse repository at this point

Commits on Nov 3, 2021

• Make string CommentLine reflect keyboard input (#531)

  Show description for a90427d
  

  zhixiangteoh

  and

  cyrus-

  authored
  a90427dView commit details

  Copy full SHA for a90427d

  Browse repository at this point

• Move caret over closing paren (#538)

  Show description for e8ff4bc
  

  hellyab

  and

  cyrus-

  authored
  e8ff4bcView commit details

  Copy full SHA for e8ff4bc

  Browse repository at this point

Commits on Nov 2, 2021

• add watch rule (#553)

  Show description for 6033ef1
  

  disconcision

  and

  cyrus-

  authored
  6033ef1View commit details

  Copy full SHA for 6033ef1

  Browse repository at this point

Commits on Nov 1, 2021

• Fix short-circuiting bool operators (#552)

  mirryi

  authored
  e6ec2caView commit details

  Copy full SHA for e6ec2ca

  Browse repository at this point

Commits on Oct 28, 2021

• Move cursor inspector to cursor (#443)

  Show description for c49b60b
  

  7 peopleauthored
  c49b60bView commit details

  Copy full SHA for c49b60b

  Browse repository at this point

Commits on Oct 1, 2021

• Fix opam switch command in case where system compiler is 4.08

  cyrus-

  authored
  52706d4View commit details

  Copy full SHA for 52706d4

  Browse repository at this point

• Small clarifications to INSTALL.md

  cyrus-

  authored
  515d150View commit details

  Copy full SHA for 515d150

  Browse repository at this point

Commits on Sep 15, 2021

• update deps 09-15-21 (#546)

  cyrus-

  authored
  8cc0c55View commit details

  Copy full SHA for 8cc0c55

  Browse repository at this point

• add zero opacity git info to page, for triage purposes (#545)

  Show description for cd740d0
  cyrus-

  authored
  cd740d0View commit details

  Copy full SHA for cd740d0

  Browse repository at this point

Commits on Sep 14, 2021

• Refactor Elaborator_Exp.ml to contain only functions relevant to expression elaboration. (#524)

  Show description for 0b79262
  

  dedbox

  and

  Eric Griffis

  authored
  0b79262View commit details

  Copy full SHA for 0b79262

  Browse repository at this point

Commits on Aug 15, 2021

• Add Serialize result to console button. (#535)

  Show description for e0571ce
  coned

  authored
  e0571ceView commit details

  Copy full SHA for e0571ce

  Browse repository at this point

Commits on Jul 11, 2021

• Automatically treat Ctrl (on non-Macs) and Cmd (on Macs) the same way (#523)

  Show description for 8f196cc
  yottalogical

  authored
  8f196ccView commit details

  Copy full SHA for 8f196cc

  Browse repository at this point

Commits on Jul 10, 2021

• Fix for issue with creating newline on last line of program (#518)

  Show description for 5882566
  

  disconcision

  and

  cyrus-

  authored
  5882566View commit details

  Copy full SHA for 5882566

  Browse repository at this point

Commits on Jul 9, 2021

• Update README with GitHub Actions CI icons and description (#527)

  Show description for c04e45e
  cyrus-

  authored
  c04e45eView commit details

  Copy full SHA for c04e45e

  Browse repository at this point

• Merge pull request #519 from hazelgrove/fix-decoration-error-on-aps

  Show description for ded8e79
  disconcision

  authored
  ded8e79View commit details

  Copy full SHA for ded8e79

  Browse repository at this point

• Merge pull request #501 from hazelgrove/readme-neovim

  Show description for 555a8f5
  cyrus-

  authored
  555a8f5View commit details

  Copy full SHA for 555a8f5

  Browse repository at this point

• Merge branch 'dev' into fix-decoration-error-on-aps

  cyrus-

  committed
  6751e26View commit details

  Copy full SHA for 6751e26

  Browse repository at this point

Commits on Jul 2, 2021

• Merge pull request #521 from hazelgrove/actions-fixes-1

  Show description for e551670
  cyrus-

  authored
  e551670View commit details

  Copy full SHA for e551670

  Browse repository at this point

• clarify comment / test

  cyrus-

  committed
  c0147c5View commit details

  Copy full SHA for c0147c5

  Browse repository at this point

• try /home/runner/.opam

  cyrus-

  committed
  bb4b86eView commit details

  Copy full SHA for bb4b86e

  Browse repository at this point

• make a commit only if necessary and do not return failure code if not

  cyrus-

  committed
  c1dd539View commit details

  Copy full SHA for c1dd539

  Browse repository at this point

• trying to fix caching

  cyrus-

  committed
  1562e02View commit details

  Copy full SHA for 1562e02

  Browse repository at this point

• Merge pull request #520 from hazelgrove/github-actions-test

  Show description for b6352ec
  cyrus-

  authored
  b6352ecView commit details

  Copy full SHA for b6352ec

  Browse repository at this point

Commits on Jul 1, 2021

• github deploy action now reports hazel branch name in website commit

  disconcision

  committed
  2588e7cView commit details

  Copy full SHA for 2588e7c

  Browse repository at this point

• deploy action comments

  disconcision

  committed
  9472b9fView commit details

  Copy full SHA for 9472b9f

  Browse repository at this point

• deploy action cleanup

  disconcision

  committed
  bec0c62View commit details

  Copy full SHA for bec0c62

  Browse repository at this point

• migrate deploy script from travis to github actions. script builds and deploys each branch on push

  disconcision

  committed
  33f90b1View commit details

  Copy full SHA for 33f90b1

  Browse repository at this point

• SPAM

  disconcision

  committed
  881d78aView commit details

  Copy full SHA for 881d78a

  Browse repository at this point

• SPAM

  disconcision

  committed
  fa9a5c7View commit details

  Copy full SHA for fa9a5c7

  Browse repository at this point