Commit 74ee257

authored

Merge branch 'probe-III' into sorted-insertion

2 parents 8afcec9 + e3359f6 commit 74ee257Copy full SHA for 74ee257

12 files changed

+307

-2087

lines changed

plans
- context-menu-plan.md
- secondary-in-terms-v2.md
plan
- closure-cursor-bar-deferred.md
src
- haz3lcore
  - projectors/implementations
    - ProbeProj.re
  - zipper
    - Zipper.re
- language/dynamics
  - Evaluator.re
  - Sample.re
  - state
    - EvaluatorState.re
  - transition
    - Transition.re
- util
  - StringUtil.re
- web
  - app/probesystem
    - ProbeSidebar.re
  - www/style/projectors
    - proj-probe.css

12 files changed

+307

-2087

lines changed

`‎plan/closure-cursor-bar-deferred.md‎`

This file was deleted.

Comments

(0)