nuprl / softscheme

Andrew Wright's soft type system for R4 Scheme
7 stars 2 forks source link

Pattern matching #1

Open marcus3santos opened 4 years ago

marcus3santos commented 4 years ago

The compressed tar ball containing the pattern matching software required by SoftScheme is not available at the ftp site mentioned in the documentation:

"This software requires pattern matching extensions to Scheme available by anonymous FTP from titan.cs.rice.edu in public/wright/match.tar.Z."

Any idea how I can get my hands on it?

bennn commented 4 years ago

Try: https://cs.indiana.edu/ftp/scheme-repository/code/match/

It might also be inside the softscheme.tar.gz here: https://cs.indiana.edu/ftp/scheme-repository/imp/

(Thanks to @soegaard on the Racket slack channel)

If those don't work, here are some other links:

marcus3santos commented 4 years ago

You are awesome! Thank you so much, Ben.

MS

Marcus Santos, Associate Dean Undergraduate Programs & Student Affairs Faculty of Science Ryerson University www.cs.ryerson.ca/m3santos

On Tue, Oct 29, 2019 at 9:13 AM Ben Greenman notifications@github.com wrote:

Try: https://cs.indiana.edu/ftp/scheme-repository/code/match/

It might also be inside the softscheme.tar.gz here: https://cs.indiana.edu/ftp/scheme-repository/imp/

(Thanks to @soegaard https://github.com/soegaard on the Racket slack channel)

If those don't work, here are some other links:

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/nuprl/softscheme/issues/1?email_source=notifications&email_token=AIKUOEC3WIHWDSLJOEMXG3TQRAZHLA5CNFSM4JF7H4RKYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOECQNUHI#issuecomment-547412509, or unsubscribe https://github.com/notifications/unsubscribe-auth/AIKUOEE6TORJDCNZDSOFEOTQRAZHLANCNFSM4JF7H4RA .

bennn commented 4 years ago

@soegaard also found an expanded version of the code:

You can download version 103 from http://download.plt-scheme.org Look in plt/collects/mzlib/matchr.ss