Ecosyste.ms: Issues

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

GitHub / ulfnorell/agda-prelude issues and pull requests

#40 - Add some IO operations

Pull Request - State: closed - Opened by phile314 over 8 years ago - 3 comments

#40 - Add some IO operations

Pull Request - State: closed - Opened by phile314 over 8 years ago - 3 comments

#39 - Add String Monoid instance

Pull Request - State: closed - Opened by phile314 over 8 years ago - 1 comment

#39 - Add String Monoid instance

Pull Request - State: closed - Opened by phile314 over 8 years ago - 1 comment

#38 - Not able to use it

Issue - State: closed - Opened by arey0pushpa almost 9 years ago - 1 comment

#38 - Not able to use it

Issue - State: closed - Opened by arey0pushpa almost 9 years ago - 1 comment

#37 - Updates to function composition

Pull Request - State: closed - Opened by m0davis almost 9 years ago

#37 - Updates to function composition

Pull Request - State: closed - Opened by m0davis almost 9 years ago

#35 - modules using Tactic.Nat are failing

Issue - State: closed - Opened by m0davis almost 9 years ago

#35 - modules using Tactic.Nat are failing

Issue - State: closed - Opened by m0davis almost 9 years ago

#34 - update Control.Monad.Identity for new module structure and renamed PMonad

Pull Request - State: closed - Opened by m0davis almost 9 years ago

#34 - update Control.Monad.Identity for new module structure and renamed PMonad

Pull Request - State: closed - Opened by m0davis almost 9 years ago

#33 - [reright] Refactoring and fix for #23

Pull Request - State: closed - Opened by m0davis almost 9 years ago

#33 - [reright] Refactoring and fix for #23

Pull Request - State: closed - Opened by m0davis almost 9 years ago

#32 - reright may fail when called from inside a parameterised module

Issue - State: closed - Opened by m0davis almost 9 years ago - 1 comment

#32 - reright may fail when called from inside a parameterised module

Issue - State: closed - Opened by m0davis almost 9 years ago - 1 comment

#31 - [reflection] [major refactor] [fixes #28] generalise Tactic.Nat to work with other libraries

Pull Request - State: closed - Opened by m0davis almost 9 years ago - 1 comment

#31 - [reflection] [major refactor] [fixes #28] generalise Tactic.Nat to work with other libraries

Pull Request - State: closed - Opened by m0davis almost 9 years ago - 1 comment

#30 - [reflection] add inferFunRange

Pull Request - State: closed - Opened by m0davis almost 9 years ago

#30 - [reflection] add inferFunRange

Pull Request - State: closed - Opened by m0davis almost 9 years ago

#29 - [reflection] rename _::_ to _:′_ and add some other metaoperations

Pull Request - State: closed - Opened by m0davis almost 9 years ago

#29 - [reflection] rename _::_ to _:′_ and add some other metaoperations

Pull Request - State: closed - Opened by m0davis almost 9 years ago

#28 - Generalise Tactic.Nat to work with other libraries

Issue - State: closed - Opened by m0davis almost 9 years ago - 1 comment

#28 - Generalise Tactic.Nat to work with other libraries

Issue - State: closed - Opened by m0davis almost 9 years ago - 1 comment

#27 - Use the provided type in evalTC

Pull Request - State: closed - Opened by yoricksijsling almost 9 years ago - 1 comment

#27 - Use the provided type in evalTC

Pull Request - State: closed - Opened by yoricksijsling almost 9 years ago - 1 comment

#26 - add .#*.agda to .gitignore

Pull Request - State: closed - Opened by m0davis almost 9 years ago

#26 - add .#*.agda to .gitignore

Pull Request - State: closed - Opened by m0davis almost 9 years ago

#25 - [reright] fix issue #23

Pull Request - State: closed - Opened by m0davis almost 9 years ago - 1 comment

#25 - [reright] fix issue #23

Pull Request - State: closed - Opened by m0davis almost 9 years ago - 1 comment

#24 - [fixes issue #23] [reright]

Pull Request - State: closed - Opened by m0davis almost 9 years ago - 1 comment

#24 - [fixes issue #23] [reright]

Pull Request - State: closed - Opened by m0davis almost 9 years ago - 1 comment

#23 - reright fails in a universe-polymorphic case

Issue - State: closed - Opened by m0davis almost 9 years ago - 2 comments

#23 - reright fails in a universe-polymorphic case

Issue - State: closed - Opened by m0davis almost 9 years ago - 2 comments

#22 - add var patterns to Tactic.Reflection

Pull Request - State: closed - Opened by m0davis almost 9 years ago

#22 - add var patterns to Tactic.Reflection

Pull Request - State: closed - Opened by m0davis almost 9 years ago

#21 - add var patterns to Tactic.Reflection

Pull Request - State: closed - Opened by m0davis almost 9 years ago - 1 comment

#21 - add var patterns to Tactic.Reflection

Pull Request - State: closed - Opened by m0davis almost 9 years ago - 1 comment

#20 - generalise Tactic.Reflection.forceFun and add Tactic.Reflection.Telescope.telPi!

Pull Request - State: closed - Opened by m0davis almost 9 years ago - 2 comments

#20 - generalise Tactic.Reflection.forceFun and add Tactic.Reflection.Telescope.telPi!

Pull Request - State: closed - Opened by m0davis almost 9 years ago - 2 comments

#19 - add Tactic.Reflection.Replace, Tactic.Reflection.Reright, and test/Reright

Pull Request - State: closed - Opened by m0davis almost 9 years ago - 1 comment

#19 - add Tactic.Reflection.Replace, Tactic.Reflection.Reright, and test/Reright

Pull Request - State: closed - Opened by m0davis almost 9 years ago - 1 comment

#18 - move DeBruijnVec from Tactic.Deriving.Eq to Tactic.Reflection.DeBruijn

Pull Request - State: closed - Opened by m0davis almost 9 years ago

#18 - move DeBruijnVec from Tactic.Deriving.Eq to Tactic.Reflection.DeBruijn

Pull Request - State: closed - Opened by m0davis almost 9 years ago

#17 - add join to Prelude.Monad

Pull Request - State: closed - Opened by m0davis almost 9 years ago

#17 - add join to Prelude.Monad

Pull Request - State: closed - Opened by m0davis almost 9 years ago

#16 - add from_for_ to Prelude.List

Pull Request - State: closed - Opened by m0davis almost 9 years ago

#16 - add from_for_ to Prelude.List

Pull Request - State: closed - Opened by m0davis almost 9 years ago

#15 - add *.agda~ to .gitignore

Pull Request - State: closed - Opened by m0davis almost 9 years ago

#15 - add *.agda~ to .gitignore

Pull Request - State: closed - Opened by m0davis almost 9 years ago

#14 - Update tests

Issue - State: closed - Opened by m0davis almost 9 years ago

#14 - Update tests

Issue - State: closed - Opened by m0davis almost 9 years ago

#13 - add evalTC and evalT to Tactic.Reflection

Pull Request - State: closed - Opened by m0davis almost 9 years ago - 4 comments

#13 - add evalTC and evalT to Tactic.Reflection

Pull Request - State: closed - Opened by m0davis almost 9 years ago - 4 comments

#12 - Redefine double colon

Pull Request - State: closed - Opened by m0davis almost 9 years ago

#12 - Redefine double colon

Pull Request - State: closed - Opened by m0davis almost 9 years ago

#11 - updates to Builtin.Reflection

Pull Request - State: closed - Opened by m0davis almost 9 years ago

#11 - updates to Builtin.Reflection

Pull Request - State: closed - Opened by m0davis almost 9 years ago

#10 - add *.agda# to .gitignore

Pull Request - State: closed - Opened by m0davis almost 9 years ago

#10 - add *.agda# to .gitignore

Pull Request - State: closed - Opened by m0davis almost 9 years ago

#9 - [reflection] update Quotable for metavariables

Pull Request - State: closed - Opened by m0davis almost 9 years ago - 1 comment

#9 - [reflection] update Quotable for metavariables

Pull Request - State: closed - Opened by m0davis almost 9 years ago - 1 comment

#8 - Improved unification to deal with non-linear indices

Pull Request - State: closed - Opened by jespercockx about 10 years ago - 1 comment

#7 - Rewrote the code for deriving Eq

Pull Request - State: closed - Opened by jespercockx about 10 years ago - 1 comment

#6 - Support for JS backend

Issue - State: closed - Opened by np over 10 years ago - 3 comments

#5 - Please tag releases

Issue - State: closed - Opened by Fuuzetsu over 10 years ago - 6 comments

#4 - Deriving Eq for reflection syntax extremely slow

Issue - State: closed - Opened by jespercockx over 10 years ago - 1 comment

#3 - Explicit parameter-like argument is ignored by derivingEq

Issue - State: closed - Opened by jespercockx over 10 years ago

#1 - Update the reflection API to follow Agda

Pull Request - State: closed - Opened by np over 10 years ago - 1 comment