suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Typed Racket
3,018 Commits 13 Branches 1 Tag 9.2 MiB
Racket 99.6%
Scheme 0.4%
720544b95c
Go to file
Asumu Takikawa 720544b95c Improve type inference for ListDots 
This provides better inference for the case when trying
to infer a ListDots in a negative position against a List
type. For example, when trying to apply `time-apply`.

original commit: 18adcb5b041be12994eb65d86bde5dc1f164cca7
2014-02-16 11:35:55 -05:00
pkgs/typed-racket-pkgs Improve type inference for ListDots 2014-02-16 11:35:55 -05:00