the-little-typer/pie

Issues

• Package "pie" has invalid version

  #50 opened a year ago by wilbowma
  0

• Let construct

  #49 opened a year ago by isovector
  0

• Will it be better to elaborate `rec-List` to `ind-List`?

  #44 opened 4 years ago by xieyuheng
  5

• Is it possible to create an alias for a higher kind type?

  #41 opened 4 years ago by chirsz-ever
  2

• An unbounded variable is not reported

  #42 opened 4 years ago by chirsz-ever
  2

• Is it safe to let `synth` return `Value` (for type) and `Core` (for exp) instead of `Core` and `Core`?

  #43 opened 4 years ago by xieyuheng
  1

• Useful techniques for sharing the ideas about type system implementation.

  #45 opened 4 years ago by xieyuheng
  2

• ind-Nat not strictly more powerful than iter-Nat?

  #40 opened 5 years ago by racko
  1

• documenting check/synth of forms

  #3 opened 7 years ago by pnwamk
  6

• Add "Recursion is not an option." in error message, when recursive definition is detected.

  #36 opened 6 years ago by xieyuheng
  0

• A proposal for correcting the incorrect `concat`

  #37 opened 6 years ago by xieyuheng
  1

• Syntax highlighting for vim

  #26 opened 6 years ago by felipesere
  4

• Error messages should not mention Sigma and Pi

  #33 opened 6 years ago by david-christiansen
  2

• Reader is too liberal

  #34 opened 6 years ago by david-christiansen
  0

• Start the GUI?

  #32 opened 6 years ago by FrankBro
  2

• +, which nat etc not available?

  #31 opened 6 years ago by jsalzbergedu
  3

• Bug with cons?

  #30 opened 6 years ago by FrankBro
  2

• Super-simple doc typo (#10 redux)

  #27 opened 6 years ago by jbclements
  2

• confusing error message on (4)

  #25 opened 6 years ago by jbclements
  1

• Is this book going to have a free online version?

  #23 opened 6 years ago by NightMachinery
  1

• better error msg for duplicate definitions

  #8 opened 7 years ago by pnwamk
  0

• Output from TODO should be updated to match the book exactly

  #12 opened 7 years ago by david-christiansen
  0

• Binding arrows for Absurd don't work

  #21 opened 7 years ago by david-christiansen
  0

• ind-= typo

  #20 opened 7 years ago
  2

• error defining vs directly using a Pi type

  #19 opened 7 years ago by pnwamk
  2

• No evaluator for [Absurd]

  #18 opened 7 years ago by pnwamk
  2

• trans/vector/read-back bug

  #14 opened 7 years ago by pnwamk
  6

• neutral inductive form printing incorrect

  #13 opened 7 years ago by pnwamk
  5

• doc entry for cong has a typo

  #10 opened 7 years ago by pnwamk
  1

• bug when duplicate arg names present

  #5 opened 7 years ago by pnwamk
  2

• do-ap error in normalize.rkt

  #4 opened 7 years ago by pnwamk
  1