Ecosyste.ms: Issues

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

GitHub / isovector/cornelis issues and pull requests

#78 - Fix broken testsuite

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

#77 - More commands: `:CornelisGive`, `:CornelisElaborate` and `:CornelisAbort`

Pull Request - State: closed - Opened by phijor over 2 years ago - 1 comment

#77 - More commands: `:CornelisGive`, `:CornelisElaborate` and `:CornelisAbort`

Pull Request - State: closed - Opened by phijor over 2 years ago - 1 comment

#77 - More commands: `:CornelisGive`, `:CornelisElaborate` and `:CornelisAbort`

Pull Request - State: closed - Opened by phijor over 2 years ago - 1 comment

#77 - More commands: `:CornelisGive`, `:CornelisElaborate` and `:CornelisAbort`

Pull Request - State: closed - Opened by phijor over 2 years ago - 1 comment

#77 - More commands: `:CornelisGive`, `:CornelisElaborate` and `:CornelisAbort`

Pull Request - State: closed - Opened by phijor over 2 years ago - 1 comment

#77 - More commands: `:CornelisGive`, `:CornelisElaborate` and `:CornelisAbort`

Pull Request - State: closed - Opened by phijor over 2 years ago - 1 comment

#77 - More commands: `:CornelisGive`, `:CornelisElaborate` and `:CornelisAbort`

Pull Request - State: closed - Opened by phijor over 2 years ago - 1 comment

#76 - Fix bindings related to "→"

Pull Request - State: closed - Opened by chezbgone over 2 years ago - 1 comment

#76 - Fix bindings related to "→"

Pull Request - State: closed - Opened by chezbgone over 2 years ago - 1 comment

#76 - Fix bindings related to "→"

Pull Request - State: closed - Opened by chezbgone over 2 years ago - 1 comment

#76 - Fix bindings related to "→"

Pull Request - State: closed - Opened by chezbgone over 2 years ago - 1 comment

#76 - Fix bindings related to "→"

Pull Request - State: closed - Opened by chezbgone over 2 years ago - 1 comment

#76 - Fix bindings related to "→"

Pull Request - State: closed - Opened by chezbgone over 2 years ago - 1 comment

#76 - Fix bindings related to "→"

Pull Request - State: closed - Opened by chezbgone over 2 years ago - 1 comment

#75 - Typo in arrow binding?

Issue - State: closed - Opened by chezbgone over 2 years ago - 1 comment

#75 - Typo in arrow binding?

Issue - State: closed - Opened by chezbgone over 2 years ago - 1 comment

#75 - Typo in arrow binding?

Issue - State: closed - Opened by chezbgone over 2 years ago - 1 comment

#75 - Typo in arrow binding?

Issue - State: closed - Opened by chezbgone over 2 years ago - 1 comment

#74 - Update snapshot of `nixpkgs`

Pull Request - State: closed - Opened by phijor over 2 years ago - 3 comments

#74 - Update snapshot of `nixpkgs`

Pull Request - State: closed - Opened by phijor over 2 years ago - 3 comments

#74 - Update snapshot of `nixpkgs`

Pull Request - State: closed - Opened by phijor over 2 years ago - 3 comments

#74 - Update snapshot of `nixpkgs`

Pull Request - State: closed - Opened by phijor over 2 years ago - 3 comments

#74 - Update snapshot of `nixpkgs`

Pull Request - State: closed - Opened by phijor over 2 years ago - 3 comments

#74 - Update snapshot of `nixpkgs`

Pull Request - State: closed - Opened by phijor over 2 years ago - 3 comments

#74 - Update snapshot of `nixpkgs`

Pull Request - State: closed - Opened by phijor over 2 years ago - 3 comments

#73 - Add haddock for everything

Issue - State: closed - Opened by isovector over 2 years ago

#73 - Add haddock for everything

Issue - State: closed - Opened by isovector over 2 years ago

#72 - Allow agda-input prefixes other than <LocalLeader>

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

#72 - Allow agda-input prefixes other than <LocalLeader>

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

#72 - Allow agda-input prefixes other than <LocalLeader>

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

#71 - Questionmarks are replaced by `{! !}` in non-hole positions

Issue - State: closed - Opened by phijor over 2 years ago - 5 comments

#71 - Questionmarks are replaced by `{! !}` in non-hole positions

Issue - State: closed - Opened by phijor over 2 years ago - 5 comments

#71 - Questionmarks are replaced by `{! !}` in non-hole positions

Issue - State: closed - Opened by phijor over 2 years ago - 5 comments

#70 - bugfix: stop hiding [Left]/[Right] from [Cornelis.Types]

Pull Request - State: closed - Opened by CT075 over 2 years ago - 1 comment

#70 - bugfix: stop hiding [Left]/[Right] from [Cornelis.Types]

Pull Request - State: closed - Opened by CT075 over 2 years ago - 1 comment

#70 - bugfix: stop hiding [Left]/[Right] from [Cornelis.Types]

Pull Request - State: closed - Opened by CT075 over 2 years ago - 1 comment

#70 - bugfix: stop hiding [Left]/[Right] from [Cornelis.Types]

Pull Request - State: closed - Opened by CT075 over 2 years ago - 1 comment

#70 - bugfix: stop hiding [Left]/[Right] from [Cornelis.Types]

Pull Request - State: closed - Opened by CT075 over 2 years ago - 1 comment

#70 - bugfix: stop hiding [Left]/[Right] from [Cornelis.Types]

Pull Request - State: closed - Opened by CT075 over 2 years ago - 1 comment

#70 - bugfix: stop hiding [Left]/[Right] from [Cornelis.Types]

Pull Request - State: closed - Opened by CT075 over 2 years ago - 1 comment

#69 - Add further customization options for info window placement

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

#69 - Add further customization options for info window placement

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

#69 - Add further customization options for info window placement

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

#69 - Add further customization options for info window placement

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

#69 - Add further customization options for info window placement

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

#69 - Add further customization options for info window placement

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

#69 - Add further customization options for info window placement

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

#68 - Do syntax highlighting for cubical terms in infowin

Issue - State: closed - Opened by isovector over 2 years ago - 2 comments
Labels: enhancement

#67 - Support for cubical path types

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

#67 - Support for cubical path types

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

#67 - Support for cubical path types

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

#67 - Support for cubical path types

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

#67 - Support for cubical path types

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

#67 - Support for cubical path types

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

#67 - Support for cubical path types

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

#66 - New `:CornelisNormalize` features: custom compute modes & normalization in holes

Pull Request - State: closed - Opened by phijor over 2 years ago - 1 comment

#66 - New `:CornelisNormalize` features: custom compute modes & normalization in holes

Pull Request - State: closed - Opened by phijor over 2 years ago - 1 comment

#66 - New `:CornelisNormalize` features: custom compute modes & normalization in holes

Pull Request - State: closed - Opened by phijor over 2 years ago - 1 comment

#66 - New `:CornelisNormalize` features: custom compute modes & normalization in holes

Pull Request - State: closed - Opened by phijor over 2 years ago - 1 comment

#66 - New `:CornelisNormalize` features: custom compute modes & normalization in holes

Pull Request - State: closed - Opened by phijor over 2 years ago - 1 comment

#66 - New `:CornelisNormalize` features: custom compute modes & normalization in holes

Pull Request - State: closed - Opened by phijor over 2 years ago - 1 comment

#66 - New `:CornelisNormalize` features: custom compute modes & normalization in holes

Pull Request - State: closed - Opened by phijor over 2 years ago - 1 comment

#65 - Add some symbols to agda-input.vim

Pull Request - State: closed - Opened by Lysxia over 2 years ago - 1 comment

#65 - Add some symbols to agda-input.vim

Pull Request - State: closed - Opened by Lysxia over 2 years ago - 1 comment

#65 - Add some symbols to agda-input.vim

Pull Request - State: closed - Opened by Lysxia over 2 years ago - 1 comment

#65 - Add some symbols to agda-input.vim

Pull Request - State: closed - Opened by Lysxia over 2 years ago - 1 comment

#65 - Add some symbols to agda-input.vim

Pull Request - State: closed - Opened by Lysxia over 2 years ago - 1 comment

#65 - Add some symbols to agda-input.vim

Pull Request - State: closed - Opened by Lysxia over 2 years ago - 1 comment

#65 - Add some symbols to agda-input.vim

Pull Request - State: closed - Opened by Lysxia over 2 years ago - 1 comment

#64 - feature: optionally silence binding remapping messages

Pull Request - State: closed - Opened by xdoardo over 2 years ago - 3 comments

#64 - feature: optionally silence binding remapping messages

Pull Request - State: closed - Opened by xdoardo over 2 years ago - 3 comments

#64 - feature: optionally silence binding remapping messages

Pull Request - State: closed - Opened by xdoardo over 2 years ago - 3 comments

#63 - Restrict height of the view with the goals

Issue - State: closed - Opened by Eloitor over 2 years ago - 1 comment

#62 - ghc version

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

#62 - ghc version

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

#62 - ghc version

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

#62 - ghc version

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

#62 - ghc version

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

#62 - ghc version

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

#62 - ghc version

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

#61 - Cornelis not loading properly for .lagda.md files

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

#61 - Cornelis not loading properly for .lagda.md files

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

#61 - Cornelis not loading properly for .lagda.md files

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

#61 - Cornelis not loading properly for .lagda.md files

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

#61 - Cornelis not loading properly for .lagda.md files

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

#61 - Cornelis not loading properly for .lagda.md files

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

#61 - Cornelis not loading properly for .lagda.md files

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

#59 - Update agda-input.vim

Pull Request - State: closed - Opened by JonathanLorimer over 2 years ago

#59 - Update agda-input.vim

Pull Request - State: closed - Opened by JonathanLorimer over 2 years ago

#59 - Update agda-input.vim

Pull Request - State: closed - Opened by JonathanLorimer over 2 years ago

#59 - Update agda-input.vim

Pull Request - State: closed - Opened by JonathanLorimer over 2 years ago

#59 - Update agda-input.vim

Pull Request - State: closed - Opened by JonathanLorimer over 2 years ago