Ecosyste.ms: Issues

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

GitHub / HigherOrderCO/Kind1 issues and pull requests

#101 - Fix moonad.org link

Pull Request - State: closed - Opened by pingiun about 4 years ago

#101 - Fix moonad.org link

Pull Request - State: closed - Opened by pingiun about 4 years ago

#100 - Unhandled term: {"ctor":"Cse"

Issue - State: closed - Opened by bukzor about 4 years ago - 1 comment

#100 - Unhandled term: {"ctor":"Cse"

Issue - State: closed - Opened by bukzor about 4 years ago - 1 comment

#99 - Documentation Improvements

Pull Request - State: closed - Opened by d4hines about 4 years ago

#99 - Documentation Improvements

Pull Request - State: closed - Opened by d4hines about 4 years ago

#98 - don't expand Nat and Str when printing type errors

Pull Request - State: closed - Opened by johnchandlerburnham about 4 years ago

#98 - don't expand Nat and Str when printing type errors

Pull Request - State: closed - Opened by johnchandlerburnham about 4 years ago

#97 - add JS compiler support for 0e u256 literals

Pull Request - State: closed - Opened by johnchandlerburnham about 4 years ago

#97 - add JS compiler support for 0e u256 literals

Pull Request - State: closed - Opened by johnchandlerburnham about 4 years ago

#96 - fix toev.decompile call

Pull Request - State: closed - Opened by johnchandlerburnham about 4 years ago

#96 - fix toev.decompile call

Pull Request - State: closed - Opened by johnchandlerburnham about 4 years ago

#95 - fix bug in EVM decompiler

Pull Request - State: closed - Opened by johnchandlerburnham about 4 years ago

#95 - fix bug in EVM decompiler

Pull Request - State: closed - Opened by johnchandlerburnham about 4 years ago

#94 - Synthesis error with datatypes indexed on List

Issue - State: closed - Opened by johnchandlerburnham over 4 years ago - 2 comments

#94 - Synthesis error with datatypes indexed on List

Issue - State: closed - Opened by johnchandlerburnham over 4 years ago - 2 comments

#93 - Example from README produces a type error

Issue - State: closed - Opened by zijer over 4 years ago

#93 - Example from README produces a type error

Issue - State: closed - Opened by zijer over 4 years ago

#92 - Another application notation

Pull Request - State: closed - Opened by caotic123 over 4 years ago - 1 comment

#92 - Another application notation

Pull Request - State: closed - Opened by caotic123 over 4 years ago - 1 comment

#91 - Undefined reference 'String.concat'

Issue - State: closed - Opened by zijer over 4 years ago - 2 comments

#91 - Undefined reference 'String.concat'

Issue - State: closed - Opened by zijer over 4 years ago - 2 comments

#90 - Jcb/string escape

Pull Request - State: closed - Opened by johnchandlerburnham over 4 years ago

#90 - Jcb/string escape

Pull Request - State: closed - Opened by johnchandlerburnham over 4 years ago

#89 - extra case branches pass typechecking

Issue - State: closed - Opened by emturner over 4 years ago

#89 - extra case branches pass typechecking

Issue - State: closed - Opened by emturner over 4 years ago

#88 - How to erase rewrites from the runtime?

Issue - State: closed - Opened by VictorTaelin over 4 years ago - 1 comment

#88 - How to erase rewrites from the runtime?

Issue - State: closed - Opened by VictorTaelin over 4 years ago - 1 comment

#87 - Adjust READMEs to use SimpleIO instead of IO

Pull Request - State: closed - Opened by neocastro over 4 years ago - 1 comment

#87 - Adjust READMEs to use SimpleIO instead of IO

Pull Request - State: closed - Opened by neocastro over 4 years ago - 1 comment

#86 - Fix types with the same name in a file

Pull Request - State: closed - Opened by MaisaMilena over 4 years ago - 1 comment

#86 - Fix types with the same name in a file

Pull Request - State: closed - Opened by MaisaMilena over 4 years ago - 1 comment

#85 - Update README

Pull Request - State: closed - Opened by MaisaMilena over 4 years ago - 1 comment

#85 - Update README

Pull Request - State: closed - Opened by MaisaMilena over 4 years ago - 1 comment

#84 - Nat.show is not working

Issue - State: closed - Opened by neocastro over 4 years ago - 3 comments

#84 - Nat.show is not working

Issue - State: closed - Opened by neocastro over 4 years ago - 3 comments

#83 - Doc links broken

Issue - State: closed - Opened by Erhannis over 4 years ago - 1 comment

#83 - Doc links broken

Issue - State: closed - Opened by Erhannis over 4 years ago - 1 comment

#82 - Type checker: same type name in the same file

Issue - State: closed - Opened by MaisaMilena over 4 years ago

#81 - Update FormalityToJS.js

Pull Request - State: closed - Opened by MaisaMilena over 4 years ago - 2 comments

#81 - Update FormalityToJS.js

Pull Request - State: closed - Opened by MaisaMilena over 4 years ago - 2 comments

#80 - Same hole may have different fillings depending on context

Issue - State: closed - Opened by VictorTaelin over 4 years ago - 1 comment

#80 - Same hole may have different fillings depending on context

Issue - State: closed - Opened by VictorTaelin over 4 years ago - 1 comment

#79 - Jcb/callstack optimization

Pull Request - State: closed - Opened by johnchandlerburnham over 4 years ago - 2 comments

#79 - Jcb/callstack optimization

Pull Request - State: closed - Opened by johnchandlerburnham over 4 years ago - 2 comments

#77 - More examples please

Issue - State: closed - Opened by kenwebb over 4 years ago - 6 comments

#77 - More examples please

Issue - State: closed - Opened by kenwebb over 4 years ago - 6 comments

#76 - trying to compute 4x4 Laver table

Issue - State: closed - Opened by tromp over 4 years ago - 14 comments

#75 - Update Formality to v.0.1.242

Pull Request - State: closed - Opened by MaisaMilena over 4 years ago - 2 comments

#75 - Update Formality to v.0.1.242

Pull Request - State: closed - Opened by MaisaMilena over 4 years ago - 2 comments

#74 - Fix documentation examples for version 0.1.245

Pull Request - State: closed - Opened by LoPoHa over 4 years ago - 1 comment

#74 - Fix documentation examples for version 0.1.245

Pull Request - State: closed - Opened by LoPoHa over 4 years ago - 1 comment

#73 - Docs: links in readme are dead

Issue - State: closed - Opened by ComFreek over 4 years ago - 1 comment

#73 - Docs: links in readme are dead

Issue - State: closed - Opened by ComFreek over 4 years ago - 1 comment

#72 - TeXify underlying type theory section in documentation

Pull Request - State: closed - Opened by 5HT over 4 years ago - 1 comment

#72 - TeXify underlying type theory section in documentation

Pull Request - State: closed - Opened by 5HT over 4 years ago - 1 comment

#71 - use forall.fm as Formbase with HTTPS

Pull Request - State: closed - Opened by bamorim over 4 years ago - 2 comments

#71 - use forall.fm as Formbase with HTTPS

Pull Request - State: closed - Opened by bamorim over 4 years ago - 2 comments

#70 - Questions about erasures

Issue - State: closed - Opened by Eloitor over 4 years ago - 2 comments

#70 - Questions about erasures

Issue - State: closed - Opened by Eloitor over 4 years ago - 2 comments

#69 - Fix documentation types

Pull Request - State: closed - Opened by g-guimaraes over 4 years ago - 1 comment

#69 - Fix documentation types

Pull Request - State: closed - Opened by g-guimaraes over 4 years ago - 1 comment

#68 - Improve compilation of cases to Javascript

Issue - State: closed - Opened by Eloitor over 4 years ago - 3 comments

#68 - Improve compilation of cases to Javascript

Issue - State: closed - Opened by Eloitor over 4 years ago - 3 comments

#67 - Update documentation details

Pull Request - State: closed - Opened by MaisaMilena almost 5 years ago

#67 - Update documentation details

Pull Request - State: closed - Opened by MaisaMilena almost 5 years ago

#66 - Wrong output in the documentation example

Issue - State: closed - Opened by MaisaMilena almost 5 years ago - 1 comment

#66 - Wrong output in the documentation example

Issue - State: closed - Opened by MaisaMilena almost 5 years ago - 1 comment

#65 - Fix missing terms

Pull Request - State: closed - Opened by g-guimaraes almost 5 years ago - 1 comment

#65 - Fix missing terms

Pull Request - State: closed - Opened by g-guimaraes almost 5 years ago - 1 comment

#64 - JS compiler still missing some terms

Issue - State: closed - Opened by g-guimaraes almost 5 years ago - 1 comment

#64 - JS compiler still missing some terms

Issue - State: closed - Opened by g-guimaraes almost 5 years ago - 1 comment

#63 - Fix #61

Pull Request - State: closed - Opened by LoPoHa almost 5 years ago - 2 comments

#63 - Fix #61

Pull Request - State: closed - Opened by LoPoHa almost 5 years ago - 2 comments

#62 - Is Formality assuming Type : Type?

Issue - State: closed - Opened by be5invis almost 5 years ago - 6 comments

#62 - Is Formality assuming Type : Type?

Issue - State: closed - Opened by be5invis almost 5 years ago - 6 comments

#60 - corrected some typos

Pull Request - State: closed - Opened by shaunazzopardi almost 5 years ago - 1 comment

#60 - corrected some typos

Pull Request - State: closed - Opened by shaunazzopardi almost 5 years ago - 1 comment

#59 - Port to Typescript

Pull Request - State: closed - Opened by bamorim almost 5 years ago - 1 comment

#59 - Port to Typescript

Pull Request - State: closed - Opened by bamorim almost 5 years ago - 1 comment

#58 - Docs: fix console.log language

Pull Request - State: closed - Opened by g-guimaraes almost 5 years ago

#58 - Docs: fix console.log language

Pull Request - State: closed - Opened by g-guimaraes almost 5 years ago

#57 - Update package.json

Pull Request - State: closed - Opened by MaisaMilena almost 5 years ago - 1 comment

#57 - Update package.json

Pull Request - State: closed - Opened by MaisaMilena almost 5 years ago - 1 comment

#56 - Recursive EVM and C runtimes

Pull Request - State: closed - Opened by michaelforney almost 5 years ago - 1 comment

#56 - Recursive EVM and C runtimes

Pull Request - State: closed - Opened by michaelforney almost 5 years ago - 1 comment

#55 - String / character parsing and printing is backwards

Issue - State: closed - Opened by courajs almost 5 years ago - 2 comments

#55 - String / character parsing and printing is backwards

Issue - State: closed - Opened by courajs almost 5 years ago - 2 comments

#54 - Improvement in equality needed

Issue - State: closed - Opened by gabriel-barrett almost 5 years ago - 13 comments

#54 - Improvement in equality needed

Issue - State: closed - Opened by gabriel-barrett almost 5 years ago - 13 comments

#53 - Parsing problem: It doesn't stop

Issue - State: closed - Opened by Eloitor almost 5 years ago - 3 comments

#53 - Parsing problem: It doesn't stop

Issue - State: closed - Opened by Eloitor almost 5 years ago - 3 comments

#52 - Logging seems broken

Issue - State: closed - Opened by johnchandlerburnham almost 5 years ago - 1 comment

#52 - Logging seems broken

Issue - State: closed - Opened by johnchandlerburnham almost 5 years ago - 1 comment

#51 - Datatype definition order is significant

Issue - State: closed - Opened by courajs almost 5 years ago - 2 comments

#51 - Datatype definition order is significant

Issue - State: closed - Opened by courajs almost 5 years ago - 2 comments