| .. |
|
db
|
in-query returns a sequence of single value (#468)
|
2017-01-06 11:34:54 -05:00 |
|
file
|
add typed/file/glob (#440)
|
2017-01-04 16:48:36 -05:00 |
|
framework
|
Simplify typed/mred and typed/framework/framework
|
2015-03-04 16:26:35 -05:00 |
|
images
|
Add typed/images/compile-time.rkt (#476)
|
2017-01-04 17:02:42 -05:00 |
|
mred
|
Allow #lang typed/racket/gui and add base module
|
2015-03-12 17:27:59 -04:00 |
|
mrlib
|
Add two mrlib type wrappers
|
2015-02-25 16:31:37 -05:00 |
|
net
|
net/url: fix PortT/Bytes, HTTP-Connection
|
2015-11-15 20:12:11 -08:00 |
|
openssl
|
Remove extra directories.
|
2014-12-02 00:53:36 -05:00 |
|
private
|
Add typed/images/logos and typed/images/icons without #:material support
|
2016-04-07 17:03:05 -04:00 |
|
racket
|
Use new DrRacket opt-in buttons for OC.
|
2017-03-09 17:12:49 -06:00 |
|
rackunit
|
remove interning for most Reps in TR
|
2016-12-16 15:18:50 -05:00 |
|
setup
|
Add typed/setup/getinfo (#472)
|
2016-12-15 16:51:33 -05:00 |
|
srfi
|
Add typed/srfi/19 to typed-racket-more
|
2015-02-09 17:33:14 -05:00 |
|
syntax
|
Add typed/syntax/modread, typed/syntax/srcloc, and typed/syntax/readerr (#353)
|
2016-07-07 12:20:40 -04:00 |
|
web-server
|
Add typed/web-server/http.rkt, typed/web-server/configuration/responders.rkt
|
2015-11-10 16:32:20 -05:00 |
|
db.rkt
|
Add support for db/base and db/sqlite3 (#419)
|
2016-09-01 12:04:36 -04:00 |
|
framework.rkt
|
Remove extra directories.
|
2014-12-02 00:53:36 -05:00 |
|
json.rkt
|
Add typed/json which exports almost all of json
|
2014-12-22 20:41:24 -05:00 |
|
openssl.rkt
|
Remove extra directories.
|
2014-12-02 00:53:36 -05:00 |
|
pict.rkt
|
remove interning for most Reps in TR
|
2016-12-16 15:18:50 -05:00 |
|
rackunit.rkt
|
Remove extra directories.
|
2014-12-02 00:53:36 -05:00 |
|
untyped-utils.rkt
|
Fixes GH issue #315 Syntax properties are not forwarded by define-typed/untyped-identifier, following @samth's suggestions.
|
2016-04-06 12:06:42 -05:00 |
