Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / aya-prover/aya-dev issues and pull requests
#978 - Libary Dependency Graph
Pull Request -
State: open - Opened by HoshinoTented over 1 year ago
- 1 comment
Labels: library
#977 - KALA: upgrade to 0.67.0
Pull Request -
State: closed - Opened by Glavo over 1 year ago
- 5 comments
Labels: deps: kala
#976 - Fix some bad code
Pull Request -
State: closed - Opened by HoshinoTented over 1 year ago
- 2 comments
Labels: desugar
#975 - Release 0.29
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
Labels: release
#974 - Fix #972.5
Pull Request -
State: closed - Opened by HoshinoTented over 1 year ago
- 6 comments
Labels: bug, resolving
#973 - Fix #972
Pull Request -
State: closed - Opened by HoshinoTented over 1 year ago
- 3 comments
Labels: bug, resolving
#972 - InternalException about Generalized Variables
Issue -
State: closed - Opened by HoshinoTented over 1 year ago
- 4 comments
Labels: bug
#971 - KALA: upgrade to 0.66.0
Pull Request -
State: closed - Opened by Glavo over 1 year ago
- 3 comments
Labels: deps: kala
#970 - fix: do not print `aya-hidden` (#969)
Pull Request -
State: closed - Opened by imkiva over 1 year ago
- 2 comments
Labels: literate
#970 - fix: do not print `aya-hidden` (#969)
Pull Request -
State: closed - Opened by imkiva over 1 year ago
- 2 comments
Labels: literate
#969 - `aya-hidden` is printed to tex
Issue -
State: closed - Opened by imkiva over 1 year ago
- 2 comments
Labels: bug, literate
#968 - Upgrade dependency, supersede a util method
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 6 comments
Labels: refactoring
#968 - Upgrade dependency, supersede a util method
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 6 comments
Labels: refactoring
#967 - Generalizing Literate
Pull Request -
State: closed - Opened by HoshinoTented over 1 year ago
- 5 comments
Labels: refactoring, literate
#967 - Generalizing Literate
Pull Request -
State: closed - Opened by HoshinoTented over 1 year ago
- 5 comments
Labels: refactoring, literate
#966 - Lazily compute types on demand
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
Labels: performance
#966 - Lazily compute types on demand
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
Labels: performance
#965 - Follow up fixes
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 2 comments
Labels: cartesian cubical
#965 - Follow up fixes
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 2 comments
Labels: cartesian cubical
#964 - KALA: upgrade to 0.65.0
Pull Request -
State: closed - Opened by Glavo over 1 year ago
- 3 comments
Labels: deps: kala
#964 - KALA: upgrade to 0.65.0
Pull Request -
State: closed - Opened by Glavo over 1 year ago
- 3 comments
Labels: deps: kala
#963 - Checked Let
Pull Request -
State: closed - Opened by HoshinoTented over 1 year ago
- 6 comments
Labels: bug, tyck
#963 - Checked Let
Pull Request -
State: closed - Opened by HoshinoTented over 1 year ago
- 6 comments
Labels: bug, tyck
#962 - Cartesian `coe`
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 5 comments
Labels: cartesian cubical
#962 - Cartesian `coe`
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 5 comments
Labels: cartesian cubical
#961 - Cherry-pick from cartesian-kan-ops development
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 5 comments
Labels: refactoring, cherry-pick
#961 - Cherry-pick from cartesian-kan-ops development
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 5 comments
Labels: refactoring, cherry-pick
#960 - Simplify `Context::bind`
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 2 comments
Labels: refactoring
#960 - Simplify `Context::bind`
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 2 comments
Labels: refactoring
#959 - Literate library
Pull Request -
State: closed - Opened by imkiva over 1 year ago
- 10 comments
Labels: literate, library
#958 - Package jlinked Aya for all common platforms in CI
Pull Request -
State: closed - Opened by imkiva over 1 year ago
- 8 comments
Labels: build
#958 - Package jlinked Aya for all common platforms in CI
Pull Request -
State: closed - Opened by imkiva over 1 year ago
- 8 comments
Labels: build
#957 - Upgrade upstream
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
Labels: deps: upstream
#957 - Upgrade upstream
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
Labels: deps: upstream
#956 - Upgrade deps, update readme
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
Labels: build, deps: upstream
#956 - Upgrade deps, update readme
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
Labels: build, deps: upstream
#956 - Upgrade deps, update readme
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
Labels: build, deps: upstream
#955 - Resolver should not add empty modules when no write access is needed
Pull Request -
State: closed - Opened by imkiva over 1 year ago
- 8 comments
Labels: bug, resolving
#954 - Merge Carefully
Pull Request -
State: closed - Opened by HoshinoTented over 1 year ago
- 3 comments
Labels: bug
#953 - We need a better literate backend for academic writing
Issue -
State: open - Opened by imkiva over 1 year ago
- 1 comment
Labels: question
#952 - Literate improvement
Pull Request -
State: closed - Opened by imkiva over 1 year ago
- 3 comments
Labels: literate
#952 - Literate improvement
Pull Request -
State: closed - Opened by imkiva over 1 year ago
- 3 comments
Labels: literate
#951 - `atob` seems broken in vuepress
Issue -
State: closed - Opened by imkiva over 1 year ago
- 7 comments
Labels: bug, wontfix, literate
#951 - `atob` seems broken in vuepress
Issue -
State: closed - Opened by imkiva over 1 year ago
- 7 comments
Labels: bug, wontfix, literate
#951 - `atob` seems broken in vuepress
Issue -
State: closed - Opened by imkiva over 1 year ago
- 7 comments
Labels: bug, wontfix, literate
#950 - Markdown backend bug
Issue -
State: closed - Opened by imkiva over 1 year ago
- 1 comment
Labels: bug, literate
#949 - We should develop our own IDE
Issue -
State: closed - Opened by ice1000 over 1 year ago
- 6 comments
Labels: cursed thread
#949 - We should develop our own IDE
Issue -
State: closed - Opened by ice1000 over 1 year ago
- 6 comments
Labels: cursed thread
#949 - We should develop our own IDE
Issue -
State: closed - Opened by ice1000 over 1 year ago
- 6 comments
Labels: cursed thread
#948 - Show compiler diagnostics in literate output
Pull Request -
State: closed - Opened by imkiva over 1 year ago
- 8 comments
Labels: feature, literate
#948 - Show compiler diagnostics in literate output
Pull Request -
State: closed - Opened by imkiva over 1 year ago
- 8 comments
Labels: feature, literate
#947 - Support LaTeX math formula in literate mode
Pull Request -
State: closed - Opened by imkiva over 1 year ago
- 6 comments
Labels: feature, literate
#947 - Support LaTeX math formula in literate mode
Pull Request -
State: closed - Opened by imkiva over 1 year ago
- 6 comments
Labels: feature, literate
#946 - Make LSP Colorful Again
Pull Request -
State: closed - Opened by HoshinoTented over 1 year ago
- 3 comments
Labels: feature, lsp
#946 - Make LSP Colorful Again
Pull Request -
State: closed - Opened by HoshinoTented over 1 year ago
- 3 comments
Labels: feature, lsp
#945 - Java's Override doesn't work!!
Pull Request -
State: closed - Opened by HoshinoTented over 1 year ago
- 4 comments
Labels: bug
#945 - Java's Override doesn't work!!
Pull Request -
State: closed - Opened by HoshinoTented over 1 year ago
- 4 comments
Labels: bug
#944 - Bad Meta
Issue -
State: closed - Opened by HoshinoTented over 1 year ago
- 7 comments
Labels: bug
#944 - Bad Meta
Issue -
State: closed - Opened by HoshinoTented over 1 year ago
- 7 comments
Labels: bug
#943 - More Stdlib + Misc
Pull Request -
State: closed - Opened by HoshinoTented over 1 year ago
- 6 comments
Labels: error report, parser
#943 - More Stdlib + Misc
Pull Request -
State: closed - Opened by HoshinoTented over 1 year ago
- 6 comments
Labels: error report, parser
#942 - Type Infering
Issue -
State: open - Opened by HoshinoTented over 1 year ago
- 1 comment
Labels: bug, meta variables
#942 - Type Infering
Issue -
State: open - Opened by HoshinoTented over 1 year ago
- 1 comment
Labels: bug, meta variables
#941 - Release 0.28
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 4 comments
Labels: release
#941 - Release 0.28
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 4 comments
Labels: release
#941 - Release 0.28
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 4 comments
Labels: release
#940 - Fully predicative termination checker
Issue -
State: open - Opened by ice1000 over 1 year ago
#940 - Fully predicative termination checker
Issue -
State: open - Opened by ice1000 over 1 year ago
#940 - Fully predicative termination checker
Issue -
State: open - Opened by ice1000 over 1 year ago
#939 - Rewrite some garbages and fix some problems
Pull Request -
State: closed - Opened by HoshinoTented over 1 year ago
- 6 comments
Labels: highlighter
#939 - Rewrite some garbages and fix some problems
Pull Request -
State: closed - Opened by HoshinoTented over 1 year ago
- 6 comments
Labels: highlighter
#939 - Rewrite some garbages and fix some problems
Pull Request -
State: closed - Opened by HoshinoTented over 1 year ago
- 6 comments
Labels: highlighter
#938 - Fix: graal build
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
Labels: build
#938 - Fix: graal build
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
Labels: build
#938 - Fix: graal build
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
Labels: build
#937 - Literate mode bug?
Issue -
State: closed - Opened by imkiva over 1 year ago
- 2 comments
Labels: bug, literate
#936 - Add more stuffs
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
Labels: parser, library
#936 - Add more stuffs
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
Labels: parser, library
#936 - Add more stuffs
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
Labels: parser, library
#935 - ModuleName <> ModulePath
Pull Request -
State: closed - Opened by HoshinoTented over 1 year ago
- 3 comments
Labels: refactoring
#935 - ModuleName <> ModulePath
Pull Request -
State: closed - Opened by HoshinoTented over 1 year ago
- 3 comments
Labels: refactoring
#935 - ModuleName <> ModulePath
Pull Request -
State: closed - Opened by HoshinoTented over 1 year ago
- 3 comments
Labels: refactoring
#934 - Fix native image build
Pull Request -
State: closed - Opened by imkiva over 1 year ago
- 5 comments
Labels: native
#934 - Fix native image build
Pull Request -
State: closed - Opened by imkiva over 1 year ago
- 5 comments
Labels: native
#933 - Refactorings, fix tyck ordering in patterns, improve latex backend, add things to library
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 2 comments
Labels: bug, refactoring
#933 - Refactorings, fix tyck ordering in patterns, improve latex backend, add things to library
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 2 comments
Labels: bug, refactoring
#933 - Refactorings, fix tyck ordering in patterns, improve latex backend, add things to library
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 2 comments
Labels: bug, refactoring
#932 - Literate: KaTeX, ServerSideRendering, and options to inline highlight styles
Pull Request -
State: closed - Opened by imkiva over 1 year ago
- 2 comments
Labels: literate
#932 - Literate: KaTeX, ServerSideRendering, and options to inline highlight styles
Pull Request -
State: closed - Opened by imkiva over 1 year ago
- 2 comments
Labels: literate
#932 - Literate: KaTeX, ServerSideRendering, and options to inline highlight styles
Pull Request -
State: closed - Opened by imkiva over 1 year ago
- 2 comments
Labels: literate
#931 - Class system overhaul
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
#931 - Class system overhaul
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
#931 - Class system overhaul
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
#930 - We should use `enum X { Obj; }` for singletons!
Issue -
State: closed - Opened by ice1000 over 1 year ago
- 1 comment
Labels: refactoring
#930 - We should use `enum X { Obj; }` for singletons!
Issue -
State: closed - Opened by ice1000 over 1 year ago
- 1 comment
Labels: refactoring
#929 - Fix some potential bugs
Pull Request -
State: closed - Opened by HoshinoTented over 1 year ago
- 3 comments
Labels: bug
#929 - Fix some potential bugs
Pull Request -
State: closed - Opened by HoshinoTented over 1 year ago
- 3 comments
Labels: bug
#929 - Fix some potential bugs
Pull Request -
State: closed - Opened by HoshinoTented over 1 year ago
- 3 comments
Labels: bug
#928 - Stdlib and TODOs
Pull Request -
State: closed - Opened by HoshinoTented over 1 year ago
- 2 comments
#928 - Stdlib and TODOs
Pull Request -
State: closed - Opened by HoshinoTented over 1 year ago
- 2 comments