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
#31 - reference substitution before parsing is exponencially inefficient // do use cache table
Issue -
State: closed - Opened by zraffer over 8 years ago
- 1 comment
#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