the-little-typer/pie issues and pull requests

#48 - Adjust error message tests for new Racket format.

Pull Request - State: closed - Opened by samth over 3 years ago - 1 comment

#47 - Normalize the error location format in the test

Pull Request - State: closed - Opened by shhyou over 3 years ago - 1 comment

#46 - When constructing hidden internal variables, don't capture

Pull Request - State: closed - Opened by david-christiansen over 3 years ago

#45 - Useful techniques for sharing the ideas about type system implementation.

Issue - State: closed - Opened by xieyuheng over 3 years ago - 2 comments

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

Issue - State: closed - Opened by xieyuheng over 3 years ago - 5 comments

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

Issue - State: closed - Opened by xieyuheng over 3 years ago - 1 comment

#42 - An unbounded variable is not reported

Issue - State: closed - Opened by chirsz-ever almost 4 years ago - 2 comments

#41 - Is it possible to create an alias for a higher kind type?

Issue - State: closed - Opened by chirsz-ever over 4 years ago - 2 comments

#40 - ind-Nat not strictly more powerful than iter-Nat?

Issue - State: closed - Opened by racko about 5 years ago - 1 comment

#39 - Update README.md

Pull Request - State: closed - Opened by zaoqi over 5 years ago - 3 comments

#38 - Create README-zh.md

Pull Request - State: open - Opened by zaoqi over 5 years ago - 1 comment

#37 - A proposal for correcting the incorrect `concat`

Issue - State: closed - Opened by xieyuheng over 5 years ago - 1 comment

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

Issue - State: closed - Opened by xieyuheng over 5 years ago

#35 - [fix issue #33] Error messages should not mention Sigma and Pi

Pull Request - State: closed - Opened by xieyuheng over 5 years ago

#34 - Reader is too liberal

Issue - State: open - Opened by david-christiansen over 5 years ago

#33 - Error messages should not mention Sigma and Pi

Issue - State: closed - Opened by david-christiansen over 5 years ago - 2 comments

#32 - Start the GUI?

Issue - State: open - Opened by FrankBro over 5 years ago - 2 comments

#31 - +, which nat etc not available?

Issue - State: closed - Opened by jsalzbergedu over 5 years ago - 3 comments

#30 - Bug with cons?

Issue - State: closed - Opened by FrankBro over 5 years ago - 2 comments

#29 - Branch Merging

Pull Request - State: closed - Opened by yehochanan0823 over 5 years ago - 3 comments

#28 - Travis update

Pull Request - State: closed - Opened by david-christiansen almost 6 years ago - 1 comment

#27 - Super-simple doc typo (#10 redux)

Issue - State: closed - Opened by jbclements almost 6 years ago - 2 comments

#26 - Syntax highlighting for vim

Issue - State: closed - Opened by felipesere almost 6 years ago - 4 comments

#25 - confusing error message on (4)

Issue - State: closed - Opened by jbclements almost 6 years ago - 1 comment

#24 - add rackunit-lib to deps

Pull Request - State: closed - Opened by jbclements almost 6 years ago - 1 comment

#23 - Is this book going to have a free online version?

Issue - State: closed - Opened by NightMachinery about 6 years ago - 1 comment

#22 - Make Pie call-by-need instead of call-by-value

Pull Request - State: closed - Opened by david-christiansen over 6 years ago - 1 comment

#21 - Binding arrows for Absurd don't work

Issue - State: closed - Opened by david-christiansen over 6 years ago

#20 - ind-= typo

Issue - State: closed - Opened by ghost over 6 years ago - 2 comments

#19 - error defining vs directly using a Pi type

Issue - State: closed - Opened by pnwamk over 6 years ago - 2 comments

#18 - No evaluator for [Absurd]

Issue - State: closed - Opened by pnwamk over 6 years ago - 2 comments

#17 - Add Racket 6.12 to CI

Pull Request - State: closed - Opened by david-christiansen over 6 years ago

#16 - more either doc bugs

Pull Request - State: closed - Opened by pnwamk over 6 years ago - 1 comment

#15 - either doc bug

Pull Request - State: closed - Opened by pnwamk over 6 years ago - 1 comment

#14 - trans/vector/read-back bug

Issue - State: closed - Opened by pnwamk over 6 years ago - 6 comments

#13 - neutral inductive form printing incorrect

Issue - State: closed - Opened by pnwamk over 6 years ago - 5 comments

#12 - Output from TODO should be updated to match the book exactly

Issue - State: closed - Opened by david-christiansen over 6 years ago

#11 - fix ind-List doc typo

Pull Request - State: closed - Opened by pnwamk over 6 years ago - 1 comment

#10 - doc entry for cong has a typo

Issue - State: closed - Opened by pnwamk over 6 years ago - 1 comment

#9 - indent better in DrRacket

Pull Request - State: closed - Opened by pnwamk over 6 years ago - 3 comments

#8 - better error msg for duplicate definitions

Issue - State: closed - Opened by pnwamk over 6 years ago

#7 - better pie error highlighting in DrRacket

Pull Request - State: closed - Opened by pnwamk over 6 years ago - 2 comments

#6 - Add attempt at a Travis config

Pull Request - State: closed - Opened by david-christiansen over 6 years ago

#5 - bug when duplicate arg names present

Issue - State: closed - Opened by pnwamk over 6 years ago - 2 comments

#4 - do-ap error in normalize.rkt

Issue - State: closed - Opened by pnwamk over 6 years ago - 1 comment

#3 - documenting check/synth of forms

Issue - State: open - Opened by pnwamk over 6 years ago - 6 comments

#2 - Fix link

Pull Request - State: closed - Opened by ahmadsalim over 6 years ago - 1 comment

#1 - fix srcloc pie exn bug

Pull Request - State: closed - Opened by pnwamk over 6 years ago - 2 comments

GitHub / the-little-typer/pie issues and pull requests