ct-gradual-typing/Papers
The Combination of Dynamic and Static Typing from a Categorical Perspective
TeX
Issues
- 1
More typechecking cases?
#57 opened by michaelto20 - 0
Feedback needed
#54 opened by michaelto20 - 1
Tasks 2/6
#55 opened by michaelto20 - 0
Tasks 2/13
#56 opened by michaelto20 - 1
Tasks for 1/23
#51 opened by michaelto20 - 3
CtxNotOk Type Error
#52 opened by michaelto20 - 2
Unbox Error
#53 opened by michaelto20 - 1
Tasks for 1/17
#48 opened by michaelto20 - 1
Exiting the Repl when using :d
#49 opened by michaelto20 - 2
TypeChecking with unbox
#50 opened by michaelto20 - 1
Typecheck definitions
#46 opened by michaelto20 - 1
Tasks 1/4
#39 opened by michaelto20 - 8
Repl load file command and trailing whitespace
#44 opened by heades - 1
Error message
#47 opened by michaelto20 - 1
Reloading file bug
#45 opened by michaelto20 - 1
REPL Let doesn't type check definitions
#43 opened by heades - 1
File loading
#40 opened by michaelto20 - 0
Pretty printer
#42 opened by heades - 1
Pretty printer bugs
#41 opened by heades - 0
Implement the evaluator
#35 opened by heades - 0
Natural number eliminator
#36 opened by heades - 0
Implement Polymorphism
#37 opened by heades - 0
Importing Grady Files
#38 opened by heades - 3
Paper Compiling
#34 opened by heades - 0
Tasks 12/03
#27 opened by michaelto20 - 0
- 3
Parser Issues
#32 opened by heades - 0
Outline for building parser of external files
#21 opened by michaelto20 - 0
Tasks for 11/21
#20 opened by michaelto20 - 0
Tasks for 11/28
#23 opened by michaelto20 - 9
Parsing error with box and unbox
#31 opened by michaelto20 - 1
Box and Unbox only Atomic Type Necessary
#25 opened by heades - 4
Split and Squash need type annotations
#30 opened by heades - 13
Potential Bug?
#14 opened by michaelto20 - 1
Issue with loading file
#29 opened by michaelto20 - 0
? x ? should squash
#26 opened by heades - 1
- 1
Free Variables Function
#24 opened by michaelto20 - 0
Error Evaluation Rules
#10 opened by heades - 0
Tasks for 10/31
#18 opened by michaelto20 - 1
Question for meeting
#22 opened by michaelto20 - 0
Pretty Printing Issue with TypeErrors
#19 opened by michaelto20 - 1
Tasks for week of 10/17
#13 opened by michaelto20 - 2
? Example
#15 opened by michaelto20 - 1
Changes to box and unbox
#9 opened by michaelto20 - 1
Tasks 10/24
#16 opened by michaelto20 - 1
Squash with arguments?
#17 opened by michaelto20 - 0
Questions for 10/17 meeting
#12 opened by michaelto20 - 1
throwing typeErrors
#11 opened by michaelto20 - 2
TypeChecker lookup
#8 opened by michaelto20