-
Notifications
You must be signed in to change notification settings - Fork 4
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#15 In jespercockx/agda2scheme;
- Status: Open.#12 In jespercockx/agda2scheme;
- Status: Open.#11 In jespercockx/agda2scheme;
- Status: Open.#10 In jespercockx/agda2scheme;
Compile nat-like and int-like types to integers
enhancementNew feature or requestNew feature or requestperformancePossible improvement to performancePossible improvement to performanceStatus: Open.#9 In jespercockx/agda2scheme;Don't use lazy thunks for arguments that are always used
enhancementNew feature or requestNew feature or requestperformancePossible improvement to performancePossible improvement to performanceStatus: Open.#8 In jespercockx/agda2scheme;Use arrays instead of lists to represent constructors
enhancementNew feature or requestNew feature or requestperformancePossible improvement to performancePossible improvement to performanceStatus: Open.#7 In jespercockx/agda2scheme;Use projections instead of match for single-case matches
enhancementNew feature or requestNew feature or requestperformancePossible improvement to performancePossible improvement to performanceStatus: Open.#6 In jespercockx/agda2scheme;Don't store constructor tag for records and single-constructor datatypes
enhancementNew feature or requestNew feature or requestperformancePossible improvement to performancePossible improvement to performanceStatus: Open.#5 In jespercockx/agda2scheme;Support more built-in types
enhancementNew feature or requestNew feature or requestStatus: Open.#4 In jespercockx/agda2scheme;Add support for foreign functions
enhancementNew feature or requestNew feature or requestStatus: Open.#3 In jespercockx/agda2scheme;Add support for imports
enhancementNew feature or requestNew feature or requestStatus: Open.#2 In jespercockx/agda2scheme;