Re: [racket-users] ANN: glob, for Unix-style globbing

2015-03-31 Thread 'John Clements' via users-redirect
On Mar 30, 2015, at 11:15 PM, Benjamin Greenman wrote: > I've pushed a script for globbing to the package server. It exports two > functions, `glob` and `in-glob`. I hope that some day functions like these > can be in racket/file, but until then, enjoy. This looks useful. Thanks! John Clemen

Re: [racket-users] Using Redex

2015-03-31 Thread Matthias Felleisen
Paul, it sounds to me like what you really want is an analysis tool that can validate claims or perhaps synthesize (valid) properties from programs in your specification and implementation languages. As Jonathan says (indirectly), that's not really what Redex is for. If you had an analysis t

Fwd: [racket-users] Using Redex

2015-03-31 Thread Jonathan Schuster
Forgot to reply to the list, so I'm forwarding here. -- Forwarded message -- From: Paul van der Walt Date: Tue, Mar 31, 2015 at 12:06 PM Subject: Re: [racket-users] Using Redex To: Jonathan Schuster Hi Jonathan, Thanks for your response! I'm not sure if it'd be beneficial to c