Code

Support for lambdas :)#2465

Code

Merged

nikivazou merged 10 commits intoucsd-progsys:developucsd-progsys/liquidhaskell:developfrom AlecsFerra:developAlecsFerra/liquidhaskell:developCopy head branch name to clipboardDec 16, 2024

+311-21

Commits

Commits on Dec 13, 2024

• Actually refelct real poly functions

  

  AlecsFerra

  authored and

  facundominguez

  committed
  d3d3476

• WIP: enable lambdas in c2l

  

  AlecsFerra

  authored and

  facundominguez

  committed
  0068285

• WIP: point fp to my repo

  

  AlecsFerra

  authored and

  facundominguez

  committed
  5394857

• Forward allowTC state in lambda body

  Show description for 3a00a55
  

  2 peopleauthored and

  facundominguez

  committed
  3a00a55

• Add some tests with lambdas

  

  AlecsFerra

  authored and

  facundominguez

  committed
  5202813

• Document make assume type

  

  AlecsFerra

  authored and

  facundominguez

  committed
  4474241

• Suggestion

  Show description for 8a8eb72
  

  AlecsFerra

  and

  facundominguez

  committed
  8a8eb72

• Remove polymorphism fix up of equations in measEnv

  facundominguez

  committed
  293f739

Commits on Dec 14, 2024

• Strip more of eqSort in Init.hs

  facundominguez

  committed
  79eac45

Commits on Dec 16, 2024

• Point fixpoint to ucsd-progsys

  AlecsFerra

  committed
  f334d1b