Skip to content
This repository has been archived by the owner on Jun 18, 2023. It is now read-only.

Latest commit

 

History

History
144 lines (92 loc) · 10.8 KB

CHANGELOG.md

File metadata and controls

144 lines (92 loc) · 10.8 KB

1.5.0 (2020-11-08)

Features

  • core: binary lambda calculus (56f5f04)
  • core: nearley parser (adb4c64)
  • helper for Console.table-ing (5aed699)

1.4.0 (2020-11-05)

Bug Fixes

  • core: fixed overlapping lines after eta reducing (9631d2b), closes #1

Features

  • client: remove unused space between lines (41e537d)
  • core: reduction preserves the colors (c6d481e)
  • utils: error stacks (6c599f7)

1.3.1 (2020-11-02)

Bug Fixes

  • core: fixed the overlapping lambdas bug (8ffafd4)

1.3.0 (2020-11-02)

Features

  • client: eta reduce button (9a603aa)
  • core: eta reduction (6dcecaf)
  • core: scoping layouts (ae86622)
  • utils: Endomorphism type and helper for printing a value with a Debug instance (89e4485)

1.2.4 (2020-11-01)

Bug Fixes

  • client: draw boxes for root lambdas (1c74dc7)

1.2.3 (2020-10-31)

Bug Fixes

  • client: the y alignment should be less trash now (0e80598)

1.2.2 (2020-10-31)

Bug Fixes

  • client: removed unnecessary background for the root lambda (9b45b8e)
  • client: the rendering should be centered now (dfacec6)

1.2.1 (2020-10-31)

Bug Fixes

  • client: added missing imports, the project should actually compile now (5a14a4d)
  • client: the default expression is consistent with the initial input text (e3f6308)

1.2.0 (2020-10-31)

Bug Fixes

  • client: proper render order of call diagonals (235b61c)
  • core: the parser now properly supports calls (9f92059)
  • geometry: fixed issues with the null shape (e8da3b0)
  • geometry: workaround 'bounds' not taking transforms into consideration (05e7570)

Features

  • benchmark: benchmarking package (d8866f8)
  • client: a little better looking ig? (7d7fc1a)
  • client: a text input which allows you to type in expressions you want to render (07f596c)
  • client: auto reziseable canvas (892e0a3)
  • client: changed the tiny existing render code to use the updated core (8ba7f2a)
  • client: Colors + vertical spacing (7f6a102)
  • client: compact lambdas (322d6c1)
  • client: diagonals (02214f9)
  • client: proper vertical alignment of lambda continuations (0789ac0)
  • client: rendering nested lambdas should work now (ee5792d)
  • client: reworked height system (97fdf61)
  • client: updated the client to use the new Mu wrapper (0aa7dde)
  • client: updated to use the new core (ad40e75)
  • client: working basic renderer (6f677f1)
  • core: improved layout generation (72068c9)
  • core: more examples (17d4df8)
  • core: now the core uses recursion schemes (8d06e63)
  • core: rewrote the whole layout generation algorithm (81195df)
  • core: scoped and unscoped layouts (75e3224)
  • core: updated the core to use the new Mu wrapper (9e2dc9a)
  • geometry: 2 more helpers (right bound and uniform padding) and fixed the bounds helper (3cfd719)
  • geometry: A few helpers for working with vectors (0070f80)
  • geometry: finding the bounds of shapes (17bd782)
  • geometry: migrated to undefined-is-not-a-problem (45d2372)
  • geometry: More attribs and helpers (8fcf2af)
  • geometry: The Shape type now uses recursion schemes (32debc0)
  • utils: a bunch of list and array helpers (f250690)
  • utils: a debugSpy helper + wrapper around Mu with a Debug instance. (a528b23)
  • utils: added a tiny alias of # to |> (0d58cf9)
  • utils: compile time warnings when I use the Label typeclass (b4491b4)
  • utils: moved the profiling stuff here (3649dd4)

1.1.0 (2020-10-10)

Features

  • client: basic demo shapes on a canvas (5cdf3d1)
  • geometry: Basic geometry shapes and stuff (3e20ed9)
  • utils: created a PartialRow typeclass (5b25080)

1.0.0 (2020-10-05)

Bug Fixes

  • parsing now supports -> for lambdas (f5b1b40)

Features

  • a lot more work put into layout generation (9651a97)
  • basic ast stuff (19f3043)
  • de brujin indices (0a540f2)
  • even more stuff for layout generation (9353ec0)
  • generating the ending points for lambda arguments (8c45b19)
  • layout generating actually works now!!! (53b489f)
  • parser (40c5f62)
  • removed the lambda grouping thing (9cdc78c)
  • started working on layouts (3bb8cf7)
  • var tracking while generating layouts and the LayoutM monad (90b36d0)