Matthew Butterick
|
092e9007ee
|
add a few exceptions
|
9 years ago |
Matthew Butterick
|
d884633fd8
|
Update .travis.yml
|
10 years ago |
Matthew Butterick
|
7363646a3d
|
Update .travis.yml
Change 6.1.1 to 6.2
|
10 years ago |
Matthew Butterick
|
8271245844
|
add update-implies
|
10 years ago |
Matthew Butterick
|
e24afdc9ad
|
doc update
|
10 years ago |
Matthew Butterick
|
cc8600a4bc
|
acknowledgment
|
10 years ago |
Matthew Butterick
|
6b24079c75
|
Update README.md
|
10 years ago |
Matthew Butterick
|
99cf4dfb0d
|
add typed/hyphenate
|
10 years ago |
Matthew Butterick
|
1e0a5116d6
|
ignore those too
|
10 years ago |
Matthew Butterick
|
0161382878
|
nit
|
10 years ago |
Matthew Butterick
|
4b7dcc2754
|
suspend contracts
|
10 years ago |
Matthew Butterick
|
12fa5ec360
|
adjust quick sample
|
10 years ago |
Matthew Butterick
|
b921044d3f
|
make quick sample
|
10 years ago |
Matthew Butterick
|
83b5dba83c
|
correct tests
|
10 years ago |
Matthew Butterick
|
c862d4d79e
|
still working, albeit slowly
|
10 years ago |
Matthew Butterick
|
57f46f4de4
|
working
|
10 years ago |
Matthew Butterick
|
1b8fa1fd4d
|
update build dependency
|
10 years ago |
Matthew Butterick
|
b4d316f4e6
|
line quads are missing 'y attr
|
10 years ago |
Matthew Butterick
|
50f707c896
|
better, but vertical line spacing isn't working
|
10 years ago |
Matthew Butterick
|
20300af5f7
|
and another tweak
|
10 years ago |
Matthew Butterick
|
7f0a692b94
|
wrap-typed tweak
|
10 years ago |
Matthew Butterick
|
c07b96cdd1
|
wrap-typed works
|
10 years ago |
Matthew Butterick
|
02d2d211af
|
resume in wrap-typed
|
10 years ago |
Matthew Butterick
|
6af15a3ff2
|
nit
|
10 years ago |
Matthew Butterick
|
4f9ef5d3f4
|
Enlarge build matrix
|
10 years ago |
Matthew Butterick
|
9ab4fcaca5
|
Use my fork of travis-racket
|
10 years ago |
Matthew Butterick
|
33ec0da219
|
Add build-status badge
|
10 years ago |
Matthew Butterick
|
6c390ef652
|
add travis
|
10 years ago |
Matthew Butterick
|
89c265957a
|
next: import all of csp interface
|
10 years ago |
Matthew Butterick
|
b29473fcd7
|
resume in main-typed
|
10 years ago |
Matthew Butterick
|
d09c4f7192
|
tuning
|
10 years ago |
Matthew Butterick
|
0d6af821a2
|
casts eliminated
|
10 years ago |
Matthew Butterick
|
7f287a49c0
|
progression
|
10 years ago |
Matthew Butterick
|
1391addec8
|
fl+
|
10 years ago |
Matthew Butterick
|
f7d936b13c
|
resume cutting casts in wrap-typed ; work on group quad typing
|
10 years ago |
Matthew Butterick
|
c42bcc20b9
|
resume in wrap-typed
|
10 years ago |
Matthew Butterick
|
5b51bc72cc
|
typeit
|
10 years ago |
Matthew Butterick
|
a2327d74f1
|
commentout
|
10 years ago |
Matthew Butterick
|
413bae7e16
|
flonumify
|
10 years ago |
Matthew Butterick
|
358cf6f7e2
|
resume in utils
|
10 years ago |
Matthew Butterick
|
9adc9d1079
|
start from assertion error in samples
|
10 years ago |
Matthew Butterick
|
9c9cb0a764
|
changing attrs to pairs
|
10 years ago |
Matthew Butterick
|
5e8764afb5
|
optimizations
|
10 years ago |
Matthew Butterick
|
ad07636541
|
resume in gather-common-attrs
|
10 years ago |
Matthew Butterick
|
29aa735995
|
first funky
|
10 years ago |
Matthew Butterick
|
fff8ab863b
|
delete more casts
|
10 years ago |
Matthew Butterick
|
2adaae459c
|
delete cast
|
10 years ago |
Matthew Butterick
|
bf19c4e616
|
wrk
|
10 years ago |
Matthew Butterick
|
82b6f29d2f
|
wrk
|
10 years ago |
Matthew Butterick
|
920201fd48
|
fix
|
10 years ago |