Code

PHI 13 - Partial Application#15

Code

Draft

yottalogical wants to merge 12 commits intomasterhazelgrove/phi:masterfrom 13-partial-applicationhazelgrove/phi:13-partial-applicationCopy head branch name to clipboard

+668

Commits

Commits on Jan 12, 2021

• Copy comments over to the combined functions

  yottalogical

  committed
  ac6c028

Commits on Jan 19, 2021

• Add hole types and expressions

  yottalogical

  committed
  24ebdac

Commits on Sep 20, 2021

• Setup 13-partial-application including example code

  yottalogical

  committed
  4e448e8

Commits on Sep 23, 2021

• First draft of 13-partial-application

  yottalogical

  committed
  f7e86e5

Commits on Oct 4, 2021

• Split exp into exter_exp and inter_exp in 13-partial-application example code

  yottalogical

  committed
  809cd73

Commits on Oct 8, 2021

• Lay some groundwork for elaboration of partial application

  yottalogical

  committed
  424aa03

Commits on Oct 25, 2021

• Implement elaboration of partial application for empty contexts

  yottalogical

  committed
  063f649

• Remove UsedCtx

  Show description for 44a01e9
  yottalogical

  committed
  44a01e9

Commits on Nov 1, 2021

• Pass down the typctx in elaborate

  yottalogical

  committed
  917ef4a

Commits on Nov 22, 2021

• Add comments to the elaboration code

  yottalogical

  committed
  97bbd72

Commits on Dec 18, 2021

• Begin combining the type checking and elaboration functions

  yottalogical

  committed
  c1940b3

Commits on Dec 29, 2021

• Implement partial application for the combined type checking and elaboration functions

  yottalogical

  committed
  c32ebe7