Code

Allow instance field declarations#2916

Code

Merged

janmasrovira merged 5 commits intomainanoma/juvix:mainfrom 2897-allow-instance-field-declarationsanoma/juvix:2897-allow-instance-field-declarationsCopy head branch name to clipboardJul 29, 2024

+220-77

Commits

Commits on Jul 26, 2024

• wip

  janmasrovira

  committed
  d7de24c

• typechecking, projections, record updates

  janmasrovira

  committed
  b691f62

• generate coercion projections

  janmasrovira

  committed
  8e74f4b

• remove variable prefix

  janmasrovira

  committed
  f1dc13e

Commits on Jul 29, 2024

• fix Isabelle test

  lukaszcz

  committed
  ecf112e