countvajhula social-contract issues - Githubissues

countvajhula / social-contract

High-level, composable syntax for describing contracts in Racket.

3 stars 1 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Review performance of reducer/c

#7 countvajhula opened 1 year ago
0
Consider supporting a numeric parameter in function/c and variadic-function/c

#6 countvajhula closed 3 years ago
1
Support the case-> macro

#5 countvajhula opened 3 years ago
0
Generalize map/c and filter/c to functors

#4 countvajhula opened 3 years ago
1
ABB cases that aren't constructors

#3 countvajhula closed 3 years ago
1
Ability to parametrize non-essential aspects of the contracts

#2 countvajhula opened 3 years ago
0
Convert contracts to macros for more seamless operation

#1 countvajhula closed 3 years ago
0