search

carl-eastlund / dracula

9 stars 4 forks source link

Fails due to `undefined` changes. #2

Closed samth closed 8 years ago

samth commented 9 years ago

http://pkg-build.racket-lang.org/server/built/fail/refined-acl2.txt

carl-eastlund commented 8 years ago

Should be resolved now.