issues
search
evincarofautumn
/
kitten
A statically typed concatenative systems programming language.
http://kittenlang.org/
Other
1.09k
stars
39
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Type provenance and reasoning
#122
evincarofautumn
opened
10 years ago
3
REPL cannot load Prelude if the current working directory is incorrect
#121
SamirTalwar
closed
10 years ago
6
Make DCE faster
#120
evincarofautumn
opened
10 years ago
0
Resource types
#119
evincarofautumn
closed
7 years ago
2
Effect system
#118
evincarofautumn
opened
10 years ago
7
Finish module system
#117
evincarofautumn
opened
10 years ago
1
Fix encoding for UTF-8 output
#116
kchaloux
closed
10 years ago
1
Locals bound in REPL should be accessible
#115
kchaloux
opened
10 years ago
9
Conflicting definitions in REPL should overwrite oldest with newest
#114
kchaloux
opened
10 years ago
4
Fix crash in 'load' for non-existing files
#113
kchaloux
closed
10 years ago
4
Improve the type checker.
#112
evincarofautumn
closed
10 years ago
1
Add ReplCommand structure to remove redundancy in 'repl' and 'help'
#111
kchaloux
closed
10 years ago
2
Repl
#110
kchaloux
closed
10 years ago
0
Tidy types in REPL
#109
evincarofautumn
closed
9 years ago
1
Prefix row variables with '.' in ToText
#108
strager
closed
10 years ago
1
Order Makefile deps "properly" and allow parallelism
#107
strager
closed
10 years ago
1
Show instance for function types does not match source syntax
#106
strager
closed
10 years ago
0
Check that declared types are instances of inferred.
#105
evincarofautumn
closed
10 years ago
1
Add explicit row variable syntax for function types.
#104
evincarofautumn
closed
10 years ago
1
Work around HLint bugs
#103
evincarofautumn
closed
7 years ago
0
Travis CI integration
#102
strager
closed
10 years ago
3
Remove unused 'Kitten.Type.Test' constructor
#101
strager
closed
10 years ago
0
Track origins of types for better error reporting
#100
strager
closed
10 years ago
3
Doctests
#99
strager
opened
10 years ago
0
Kindiness
#98
strager
closed
10 years ago
0
Better type variable error reporting
#97
strager
closed
10 years ago
1
Unit tests for typechecking
#96
strager
closed
7 years ago
0
Pair display
#95
kchaloux
closed
10 years ago
1
Type instance checks
#94
strager
closed
10 years ago
2
Higher ranks
#93
evincarofautumn
closed
10 years ago
1
HTML type viewer
#92
strager
closed
10 years ago
1
Fix order of REPL stack types given to inference
#91
strager
closed
10 years ago
0
Comma is not a layout-block terminator
#90
evincarofautumn
closed
7 years ago
0
Make definitions always point to functions
#89
strager
closed
10 years ago
2
Test the REPL
#88
evincarofautumn
opened
10 years ago
0
Typed AST
#87
strager
closed
10 years ago
0
kitten-mode lacks an indent function
#86
evincarofautumn
opened
10 years ago
0
Use NameGen for name generation in type inferer
#85
strager
closed
10 years ago
1
Miscellaneous improvements
#84
strager
closed
10 years ago
0
Run all tests, even upon test failure
#83
strager
closed
10 years ago
1
Better location information for definition bodies
#82
strager
closed
10 years ago
0
Don't ghc -prof on the Kitten executable
#81
strager
closed
10 years ago
0
Add colours to the REPL
#80
evincarofautumn
opened
10 years ago
0
Support curried function type syntax
#79
evincarofautumn
closed
10 years ago
0
Machine-check examples
#78
evincarofautumn
closed
10 years ago
0
Support user-defined prefix function macros
#77
evincarofautumn
closed
10 years ago
0
Flesh out literal syntaces
#76
evincarofautumn
closed
7 years ago
1
Fix the tuple–product problem
#75
evincarofautumn
closed
10 years ago
0
Add Command-Line Input
#74
kchaloux
opened
10 years ago
0
Source file encoding is broken on Windows
#73
evincarofautumn
closed
10 years ago
1
Previous
Next