search

wilbowma / cur

A less devious proof assistant
BSD 2-Clause "Simplified" License
222 stars 18 forks source link

add cur-test dependency on chk package #68

Closed stchang closed 7 years ago

wilbowma commented 7 years ago

Hm. chk pulls in scribble, which pulls in a ton of things. I'm using a fork of chk right now that strips all that stuff out. I think I'll put that fork on the package server and depend on it instead.

On Fri, Sep 01, 2017 at 01:42:06PM -0700, Stephen Chang wrote:

You can view, comment on, or merge this pull request online at:

https://github.com/wilbowma/cur/pull/68

-- Commit Summary --

  • add cur-test dependency on chk package

-- File Changes --

M cur-test/info.rkt (2)

-- Patch Links --

https://github.com/wilbowma/cur/pull/68.patch https://github.com/wilbowma/cur/pull/68.diff

-- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/wilbowma/cur/pull/68

stchang commented 7 years ago

Ah yah, that's better.