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 7 months ago

#21 - Other distribution channel for aurora-prover besides Docker

Issue - State: closed - Opened by marijanp 12 months ago - 2 comments

#20 - Missing Encode Instance for Either?

Issue - State: open - Opened by martyall 12 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 over 2 years ago - 1 comment
Labels: bug

#5 - Some array indexing problem

Issue - State: closed - Opened by banacorn over 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 over 2 years ago - 1 comment
Labels: bug

#3 - Add `Traversable` constraint to `toArray` for convenience

Issue - State: closed - Opened by potsrevennil over 2 years ago - 2 comments
Labels: enhancement

#2 - `access` constructs subarray with incorrect length

Issue - State: closed - Opened by banacorn over 2 years ago
Labels: bug

#1 - Serialization/deserialization problem when compiling `BLAKE2b.test`

Issue - State: closed - Opened by banacorn over 2 years ago
Labels: bug