Ecosyste.ms: Issues

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

GitHub / groupoid/henk issues and pull requests

#40 - Some questions

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

#39 - fix typo

Pull Request - State: closed - Opened by k-haze-nil over 6 years ago

#38 - style review by @spivakov

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

#37 - Proofread om.tex

Pull Request - State: closed - Opened by nponeccop almost 7 years ago - 1 comment

#36 - Typos om.tex

Pull Request - State: closed - Opened by nau almost 8 years ago

#35 - implement term compression optimization

Issue - State: closed - Opened by zraffer about 8 years ago

#34 - implement interaction nets for normalization

Issue - State: closed - Opened by zraffer about 8 years ago

#33 - Tweak documentation

Pull Request - State: closed - Opened by esmolanka over 8 years ago

#32 - parser must emit an error for unresolved file references

Issue - State: closed - Opened by zraffer over 8 years ago

#30 - Minimal macrosystem for impredicative encoding

Issue - State: closed - Opened by nponeccop over 8 years ago

#29 - Type system switch for (im)predicativity

Issue - State: closed - Opened by nponeccop over 8 years ago

#28 - Parser accepts incorrect code

Issue - State: closed - Opened by nponeccop over 8 years ago - 1 comment

#27 - Normalization is too slow

Issue - State: closed - Opened by zraffer over 8 years ago - 1 comment

#26 - Examples of normalization corner cases

Issue - State: closed - Opened by nponeccop over 8 years ago - 2 comments

#25 - Implement #Bool/induction in impredicative setoid encoding

Issue - State: closed - Opened by nponeccop over 8 years ago - 3 comments

#24 - Uninline Morte Samples

Issue - State: closed - Opened by 5HT over 8 years ago

#23 - avoid redundant parenthesis in om:print

Issue - State: closed - Opened by zraffer over 8 years ago

#22 - Implement optional de Bruijn autonaming scheme

Issue - State: closed - Opened by 5HT over 8 years ago

#21 - Normalization Bug during code extraction in 1 test

Issue - State: closed - Opened by 5HT over 8 years ago

#20 - Finish implementation of Hurkens paradox

Issue - State: closed - Opened by nponeccop over 8 years ago - 1 comment

#19 - Test checker with predicative encodings

Issue - State: closed - Opened by nponeccop over 8 years ago - 1 comment

#18 - Document non-unicode syntax in README

Issue - State: closed - Opened by nponeccop over 8 years ago

#17 - Add build instructions to README

Issue - State: closed - Opened by nponeccop over 8 years ago

#16 - Human-readable parser errors

Issue - State: closed - Opened by nponeccop over 8 years ago - 2 comments

#15 - Implement test suite

Issue - State: closed - Opened by nponeccop over 8 years ago

#14 - Travis support

Issue - State: closed - Opened by nponeccop over 8 years ago

#13 - Include source position in error messages

Issue - State: closed - Opened by nponeccop over 8 years ago

#12 - Annotate the AST with source file position

Issue - State: closed - Opened by nponeccop over 8 years ago

#11 - Typechecker Error Messages

Issue - State: closed - Opened by 5HT over 8 years ago

#10 - List/head is O(N)

Issue - State: closed - Opened by nponeccop over 8 years ago - 9 comments

#9 - Parser Error

Issue - State: closed - Opened by 5HT over 8 years ago - 1 comment

#8 - Implement Type Eraser

Issue - State: closed - Opened by 5HT over 8 years ago

#7 - Add annotations to AST

Issue - State: closed - Opened by 5HT over 8 years ago

#6 - Make stream parsers modular for Exe development

Issue - State: closed - Opened by 5HT over 8 years ago

#5 - Implement new Om type-checker with indexed stars

Issue - State: closed - Opened by 5HT over 8 years ago - 1 comment
Labels: enhancement

#4 - Port Morte type-checker

Issue - State: closed - Opened by 5HT over 8 years ago - 1 comment

#3 - Implement indexed stars in parser

Issue - State: closed - Opened by 5HT over 8 years ago

#2 - Erlang Bundle

Issue - State: closed - Opened by 5HT over 8 years ago

#1 - Typos in README.md

Issue - State: closed - Opened by lambdaterm almost 11 years ago - 1 comment