Uh oh!
There was an error while loading. Please reload this page.
- Notifications
You must be signed in to change notification settings - Fork 11
All issues
Issue creation is restricted in this repository
Issues
is:issuestate:open
is:issue state:open
Search results
- Status: Open.#28In verse-lab/loom;
- Status: Open.#27In verse-lab/loom;
Split Velvet into a separate folder
EasyThis issue should not take more than a couple of hours of workThis issue should not take more than a couple of hours of workVelvetIssue related to VelvetIssue related to VelvetStatus: Open.#26In verse-lab/loom;Velvet and Loom logos design
HardThis is issue potentially needs a substantial amount of workThis is issue potentially needs a substantial amount of workLoomThis issue is related to a general metatheory of LoomThis issue is related to a general metatheory of LoomVelvetIssue related to VelvetIssue related to VelvetStatus: Open.#25In verse-lab/loom;Compose a Test suite for Velvet
HardThis is issue potentially needs a substantial amount of workThis is issue potentially needs a substantial amount of workVelvetIssue related to VelvetIssue related to VelvetStatus: Open.#24In verse-lab/loom;loom_introtactic does not behaveHardThis is issue potentially needs a substantial amount of workThis is issue potentially needs a substantial amount of workVelvetIssue related to VelvetIssue related to VelvetStatus: Open.#23In verse-lab/loom;Pretty printing for Velvet programs
MediumThis issue is not too complicatedThis issue is not too complicatedVelvetIssue related to VelvetIssue related to VelvetStatus: Open.#22In verse-lab/loom;Proof incrementality
MediumThis issue is not too complicatedThis issue is not too complicatedVelvetIssue related to VelvetIssue related to VelvetStatus: Open.#21In verse-lab/loom;Explicit naming of annotations
EasyThis issue should not take more than a couple of hours of workThis issue should not take more than a couple of hours of workVelvetIssue related to VelvetIssue related to VelvetStatus: Open.#19In verse-lab/loom;