ulfnorell/agda-prelude issues and pull requests

#90 - Agda 2.7.0 compatiblity

Pull Request - State: closed - Opened by UlfNorell 6 months ago

#90 - Agda 2.7.0 compatiblity

Pull Request - State: closed - Opened by UlfNorell 6 months ago

#89 - Build failure with Agda 2.7.0

Issue - State: closed - Opened by ncfavier 6 months ago - 3 comments

#89 - Build failure with Agda 2.7.0

Issue - State: closed - Opened by ncfavier 6 months ago - 3 comments

#88 - Fails to build with Agda 2.6.4

Issue - State: closed - Opened by ncfavier over 1 year ago - 2 comments

#88 - Fails to build with Agda 2.6.4

Issue - State: closed - Opened by ncfavier over 1 year ago - 2 comments

#87 - [ update ] Make `agda-prelude` compatible with `agda/agda#5716`

Pull Request - State: closed - Opened by L-TChen about 3 years ago - 1 comment

#87 - [ update ] Make `agda-prelude` compatible with `agda/agda#5716`

Pull Request - State: closed - Opened by L-TChen about 3 years ago - 1 comment

#86 - Support agda 2.6.2 and standard-library 1.7

Issue - State: closed - Opened by turion over 3 years ago - 4 comments

#86 - Support agda 2.6.2 and standard-library 1.7

Issue - State: closed - Opened by turion over 3 years ago - 4 comments

#85 - Reflected sorts now include Prop

Pull Request - State: closed - Opened by L-TChen almost 4 years ago - 1 comment

#85 - Reflected sorts now include Prop

Pull Request - State: closed - Opened by L-TChen almost 4 years ago - 1 comment

#84 - Binary trees

Pull Request - State: open - Opened by t-more about 4 years ago

#84 - Binary trees

Pull Request - State: open - Opened by t-more about 4 years ago

#83 - Need help with do notation

Issue - State: closed - Opened by notooth1 about 4 years ago - 2 comments

#83 - Need help with do notation

Issue - State: closed - Opened by notooth1 about 4 years ago - 2 comments

#82 - Need help with List

Issue - State: closed - Opened by notooth1 about 4 years ago - 2 comments

#82 - Need help with List

Issue - State: closed - Opened by notooth1 about 4 years ago - 2 comments

#81 - Failed to import Prelude

Issue - State: closed - Opened by notooth1 about 4 years ago - 1 comment

#81 - Failed to import Prelude

Issue - State: closed - Opened by notooth1 about 4 years ago - 1 comment

#80 - Move Container.List -> Prelude.List.*

Pull Request - State: open - Opened by t-more over 4 years ago - 2 comments

#80 - Move Container.List -> Prelude.List.*

Pull Request - State: open - Opened by t-more over 4 years ago - 2 comments

#79 - Add semigroup type class (super of monoid)

Pull Request - State: closed - Opened by t-more over 4 years ago - 2 comments

#79 - Add semigroup type class (super of monoid)

Pull Request - State: closed - Opened by t-more over 4 years ago - 2 comments

#78 - Generalized collection / sequence etc functions.

Issue - State: open - Opened by t-more over 4 years ago - 1 comment

#78 - Generalized collection / sequence etc functions.

Issue - State: open - Opened by t-more over 4 years ago - 1 comment

#77 - Merge sort + Proof + List lemmas + Restructure + Semigroups

Pull Request - State: open - Opened by t-more over 4 years ago - 3 comments

#77 - Merge sort + Proof + List lemmas + Restructure + Semigroups

Pull Request - State: open - Opened by t-more over 4 years ago - 3 comments

#76 - The Container module

Issue - State: closed - Opened by t-more over 4 years ago - 1 comment

#76 - The Container module

Issue - State: closed - Opened by t-more over 4 years ago - 1 comment

#75 - Ord funcs and lemmas

Pull Request - State: closed - Opened by t-more over 4 years ago - 1 comment

#75 - Ord funcs and lemmas

Pull Request - State: closed - Opened by t-more over 4 years ago - 1 comment

#74 - Add Sized typclass and simple instances

Pull Request - State: closed - Opened by t-more over 4 years ago

#74 - Add Sized typclass and simple instances

Pull Request - State: closed - Opened by t-more over 4 years ago

#73 - Ord laws lemmas and functions

Pull Request - State: closed - Opened by t-more over 4 years ago - 3 comments

#73 - Ord laws lemmas and functions

Pull Request - State: closed - Opened by t-more over 4 years ago - 3 comments

#72 - Chage: ==-reflexive location. Add: Basic boolean leammas

Pull Request - State: closed - Opened by t-more over 4 years ago - 1 comment

#72 - Chage: ==-reflexive location. Add: Basic boolean leammas

Pull Request - State: closed - Opened by t-more over 4 years ago - 1 comment

#71 - Add non-equality operator and boolean equality function

Pull Request - State: closed - Opened by t-more over 4 years ago - 1 comment

#71 - Add non-equality operator and boolean equality function

Pull Request - State: closed - Opened by t-more over 4 years ago - 1 comment

#70 - Possible code merge

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

#70 - Possible code merge

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

#69 - Error with Agda 2.6.1

Issue - State: closed - Opened by jinwoo over 4 years ago - 3 comments

#69 - Error with Agda 2.6.1

Issue - State: closed - Opened by jinwoo over 4 years ago - 3 comments

#68 - Added second level varaible to Acc

Pull Request - State: closed - Opened by t-more over 4 years ago - 1 comment

#68 - Added second level varaible to Acc

Pull Request - State: closed - Opened by t-more over 4 years ago - 1 comment

#67 - Update in response to agda/agda#4722

Pull Request - State: closed - Opened by jespercockx over 4 years ago

#67 - Update in response to agda/agda#4722

Pull Request - State: closed - Opened by jespercockx over 4 years ago

#66 - Add a small macro for making arguments explicit

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

#66 - Add a small macro for making arguments explicit

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

#65 - Substitution in Tactic.Reflection.Subtitute is buggy

Issue - State: open - Opened by xekoukou about 5 years ago - 1 comment

#65 - Substitution in Tactic.Reflection.Subtitute is buggy

Issue - State: open - Opened by xekoukou about 5 years ago - 1 comment

#64 - Some changes to work with latest version of Agda

Pull Request - State: closed - Opened by jespercockx over 5 years ago

#64 - Some changes to work with latest version of Agda

Pull Request - State: closed - Opened by jespercockx over 5 years ago

#63 - Triggers internal agda error.

Issue - State: open - Opened by xekoukou over 5 years ago - 2 comments

#63 - Triggers internal agda error.

Issue - State: open - Opened by xekoukou over 5 years ago - 2 comments

#62 - does not compile with Agda 2.6.0

Issue - State: closed - Opened by lclem over 5 years ago - 1 comment
Labels: bug, compat-2.6.0

#62 - does not compile with Agda 2.6.0

Issue - State: closed - Opened by lclem over 5 years ago - 1 comment
Labels: bug, compat-2.6.0

#61 - Indexed monads

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

#61 - Indexed monads

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

#60 - Indexed monads?

Issue - State: closed - Opened by jespercockx about 6 years ago - 2 comments

#60 - Indexed monads?

Issue - State: closed - Opened by jespercockx about 6 years ago - 2 comments

#59 - Replace .. by @erased

Pull Request - State: closed - Opened by jespercockx about 6 years ago

#59 - Replace .. by @erased

Pull Request - State: closed - Opened by jespercockx about 6 years ago

#58 - Latest agda breaks Prelude.Fin due to Irrelevance.

Issue - State: closed - Opened by xekoukou about 6 years ago - 5 comments

#58 - Latest agda breaks Prelude.Fin due to Irrelevance.

Issue - State: closed - Opened by xekoukou about 6 years ago - 5 comments

#57 - Can't load Tactic.Nat.Reflect

Issue - State: closed - Opened by cj-xu about 6 years ago - 2 comments

#57 - Can't load Tactic.Nat.Reflect

Issue - State: closed - Opened by cj-xu about 6 years ago - 2 comments

#56 - Add some monad transformers

Pull Request - State: closed - Opened by jespercockx over 6 years ago - 1 comment

#56 - Add some monad transformers

Pull Request - State: closed - Opened by jespercockx over 6 years ago - 1 comment

#55 - Added inv-suc-monotone function.

Pull Request - State: closed - Opened by xekoukou over 6 years ago - 1 comment

#55 - Added inv-suc-monotone function.

Pull Request - State: closed - Opened by xekoukou over 6 years ago - 1 comment

#54 - inv-suc-monotone

Issue - State: closed - Opened by xekoukou over 6 years ago - 1 comment

#54 - inv-suc-monotone

Issue - State: closed - Opened by xekoukou over 6 years ago - 1 comment

#53 - Error when importing Vec

Issue - State: closed - Opened by VictorTaelin almost 7 years ago - 5 comments

#53 - Error when importing Vec

Issue - State: closed - Opened by VictorTaelin almost 7 years ago - 5 comments

#52 - Change name of mempty to mId.

Issue - State: closed - Opened by xekoukou almost 7 years ago

#52 - Change name of mempty to mId.

Issue - State: closed - Opened by xekoukou almost 7 years ago

#51 - what branch for 2.5.3? :)

Issue - State: closed - Opened by cartazio about 7 years ago - 2 comments

#51 - what branch for 2.5.3? :)

Issue - State: closed - Opened by cartazio about 7 years ago - 2 comments

#50 - Cannot type check Prelude.Applicative

Issue - State: closed - Opened by ocharles almost 8 years ago - 1 comment

#50 - Cannot type check Prelude.Applicative

Issue - State: closed - Opened by ocharles almost 8 years ago - 1 comment

#49 - is there a 2.5.2 release?

Issue - State: closed - Opened by cartazio about 8 years ago - 1 comment

#49 - is there a 2.5.2 release?

Issue - State: closed - Opened by cartazio about 8 years ago - 1 comment

#48 - Applicative doesn't type check

Issue - State: closed - Opened by bixuanzju about 8 years ago - 2 comments

#48 - Applicative doesn't type check

Issue - State: closed - Opened by bixuanzju about 8 years ago - 2 comments

#47 - Add abs function for integers.

Pull Request - State: closed - Opened by phile314 about 8 years ago

#47 - Add abs function for integers.

Pull Request - State: closed - Opened by phile314 about 8 years ago

#46 - String manipulation functions / generalize list functions?

Issue - State: open - Opened by phile314 about 8 years ago - 2 comments

#46 - String manipulation functions / generalize list functions?

Issue - State: open - Opened by phile314 about 8 years ago - 2 comments

#45 - use record instead of data for Σ

Pull Request - State: closed - Opened by m0davis about 8 years ago - 2 comments

#45 - use record instead of data for Σ

Pull Request - State: closed - Opened by m0davis about 8 years ago - 2 comments

#44 - Builtin.Float doesn't typecheck

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

#44 - Builtin.Float doesn't typecheck

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

#43 - inferFunRange failing

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

#43 - inferFunRange failing

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

#42 - Fixed bug in `any?`

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

#42 - Fixed bug in `any?`

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

#41 - [#32] fixed thanks to agda/agda#1833

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

#41 - [#32] fixed thanks to agda/agda#1833

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

GitHub / ulfnorell/agda-prelude issues and pull requests