Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / jespercockx/agda2scheme issues and pull requests

#15 - Automate unit tests

Issue - State: open - Opened by lemastero about 1 year ago - 1 comment

#14 - Create CI definition for GH Actions

Pull Request - State: closed - Opened by lemastero about 1 year ago - 1 comment

#13 - Adding CI using Github Actions?

Issue - State: closed - Opened by lemastero about 1 year ago - 1 comment

#12 - Add a benchmarking suite

Issue - State: open - Opened by jespercockx over 2 years ago
Labels: infrastructure

#11 - Add a test runner

Issue - State: open - Opened by jespercockx over 2 years ago
Labels: infrastructure

#10 - Add a Makefile

Issue - State: open - Opened by jespercockx over 2 years ago
Labels: infrastructure

#9 - Compile nat-like and int-like types to integers

Issue - State: open - Opened by jespercockx over 2 years ago
Labels: enhancement, performance

#8 - Don't use lazy thunks for arguments that are always used

Issue - State: open - Opened by jespercockx over 2 years ago
Labels: enhancement, performance

#7 - Use arrays instead of lists to represent constructors

Issue - State: open - Opened by jespercockx over 2 years ago
Labels: enhancement, performance

#6 - Use projections instead of match for single-case matches

Issue - State: open - Opened by jespercockx over 2 years ago
Labels: enhancement, performance

#5 - Don't store constructor tag for records and single-constructor datatypes

Issue - State: open - Opened by jespercockx over 2 years ago
Labels: enhancement, performance

#4 - Support more built-in types

Issue - State: open - Opened by jespercockx over 2 years ago
Labels: enhancement

#3 - Add support for foreign functions

Issue - State: open - Opened by jespercockx over 2 years ago
Labels: enhancement

#2 - Add support for imports

Issue - State: open - Opened by jespercockx over 2 years ago
Labels: enhancement

#1 - Add support for main function

Issue - State: open - Opened by jespercockx over 2 years ago
Labels: enhancement