Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / btq-ag/keelung issues and pull requests
#22 - Reconsider module names (`Syntax.Encode.Syntax` etc.)
Issue -
State: open - Opened by Zekt 5 months ago
#21 - Other distribution channel for aurora-prover besides Docker
Issue -
State: closed - Opened by marijanp 10 months ago
- 2 comments
#20 - Missing Encode Instance for Either?
Issue -
State: open - Opened by martyall 10 months ago
- 4 comments
Labels: enhancement
#19 - `verify` is broken
Issue -
State: open - Opened by Zekt about 1 year ago
#17 - Apparent variable substitution
Issue -
State: open - Opened by ilway25 over 1 year ago
- 1 comment
#16 - Right shift not terminating
Issue -
State: closed - Opened by banacorn over 1 year ago
Labels: bug
#15 - Allow users to use any field they like
Issue -
State: closed - Opened by banacorn over 1 year ago
Labels: enhancement
#14 - Correct spelling in `compile` output
Pull Request -
State: closed - Opened by christam96 over 1 year ago
#13 - Tutorial Doesn't Load Types
Issue -
State: closed - Opened by captainrandom over 1 year ago
- 5 comments
Labels: enhancement
#12 - Cannot build with stack
Issue -
State: closed - Opened by christam96 over 1 year ago
- 1 comment
Labels: wontfix
#11 - Cannot build with Cabal
Issue -
State: closed - Opened by banacorn over 1 year ago
Labels: bug
#6 - Programs returning arrays get compiled into rubbish
Issue -
State: closed - Opened by banacorn about 2 years ago
- 1 comment
Labels: bug
#5 - Some array indexing problem
Issue -
State: closed - Opened by banacorn about 2 years ago
- 2 comments
Labels: bug, array
#4 - `toArray` should should copy elements instead of just moving them
Issue -
State: closed - Opened by banacorn about 2 years ago
- 1 comment
Labels: bug
#3 - Add `Traversable` constraint to `toArray` for convenience
Issue -
State: closed - Opened by potsrevennil about 2 years ago
- 2 comments
Labels: enhancement
#2 - `access` constructs subarray with incorrect length
Issue -
State: closed - Opened by banacorn about 2 years ago
Labels: bug
#1 - Serialization/deserialization problem when compiling `BLAKE2b.test`
Issue -
State: closed - Opened by banacorn about 2 years ago
Labels: bug