xzhseh/stlc-in-a-week

Issues

• day5: introduce stlc expression (with type variables)

  #5 opened 4 months ago by xzhseh
  0

• day4: a more robust `yCombinator`

  #4 opened 4 months ago by xzhseh
  0

• interactive shell: add global `yCombinator` registry for interactively evaluation / testing

  #3 opened 4 months ago by xzhseh
  0

• day4: add `yCombinator` related code framework and refsols

  #1 opened 4 months ago by xzhseh
  0