issues
search
bennn
/
require-typed-scv
Typed Racket's `require/typed`, with soft contract verification
Other
1
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Redesign API for convenience
#11
bennn
opened
6 years ago
0
parse fully-expanded types
#10
bennn
closed
7 years ago
1
recursive types
#9
bennn
closed
6 years ago
2
Add continuous integration
#8
bennn
opened
7 years ago
0
Write macro to help the parse-type function
#7
bennn
opened
7 years ago
0
Handle `define-type`
#6
bennn
closed
7 years ago
1
Convert #:struct to struct/c
#5
bennn
closed
7 years ago
1
Only require racket/contract when necessary
#4
bennn
opened
7 years ago
0
Multi provide
#3
bennn
closed
7 years ago
0
Can typed racket print contracts?
#2
bennn
opened
7 years ago
3
Handle multi-line provides
#1
bennn
closed
7 years ago
0