Code

Assistant Plus #1091

Code

Draft

disconcision wants to merge 24 commits intodevhazelgrove/hazel:devfrom plushazelgrove/hazel:plusCopy head branch name to clipboard

+20,437-11,911

Commits

Commits on Aug 25, 2023

• Revert "delete llm and auto changes to make a PR specifically for TyDi + deps"

  Show description for eb5837f
  disconcision

  committed
  eb5837f

• Merge branch 'llmass' of https://github.com/hazelgrove/hazel into plus

  disconcision

  committed
  b175dc9

• fix operator bug with .

  disconcision

  committed
  5c1dd79

• restore accidentally deleted fns; cleanup

  disconcision

  committed
  6083114

• cleanup

  disconcision

  committed
  af1d0a2

Commits on Sep 2, 2023

• DHExp to Segment conversion

  disconcision

  committed
  f961cc7

Commits on Sep 3, 2023

• defauly linebreaks in DHExp to seg conversion

  disconcision

  committed
  a7399a9

• jump to id unzip version

  disconcision

  committed
  2f93ecf

• cleanup

  disconcision

  committed
  1f924aa

Commits on Sep 4, 2023

• added remote action. focus works for MUV. style fun

  disconcision

  committed
  5a20361

• partial work on stage form

  disconcision

  committed
  f617122

Commits on Sep 5, 2023

• partial work on syntax-update

  disconcision

  committed
  34bf909

Commits on Sep 11, 2023

• planning

  disconcision

  committed
  0ae800d

• merge fix

  disconcision

  committed
  ffb3885

• patched in live-aid

  disconcision

  committed
  90635ec

• accidentally some liveaid files

  disconcision

  committed
  eae242b

Commits on Sep 12, 2023

• partial work on mvu statics and elab

  disconcision

  committed
  9183074

• workaround mvu casting bug

  disconcision

  committed
  fd96adc

• basic syntax update working

  disconcision

  committed
  0bcb4b4

• disable dhcode display for mvu for now

  disconcision

  committed
  5ba5135

Commits on Sep 14, 2023

• cleanup

  disconcision

  committed
  1401b19

Commits on Oct 8, 2023

• dunno lol lots of things

  disconcision

  committed
  4115301

Commits on Oct 26, 2023

• print sugs to console for llama integration

  disconcision

  committed
  044354e

Commits on Jan 17, 2024

• llm: refine prettyprinting of type definitions in expected type

  disconcision

  committed
  75d0e73