Chymyst/curryhoward issues and pull requests

#39 - sbt-scoverage 1.9.0 (was 1.8.2)

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

#38 - move from tut to mdoc

Pull Request - State: open - Opened by winitzki over 3 years ago

#37 - code and tests compile under scala 2.11, 2.12, and 2.13

Pull Request - State: closed - Opened by winitzki over 3 years ago - 1 comment

#36 - update scala version and dependencies

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

#35 - WIP: updating sbt and scala versions, as well as other dependencies

Pull Request - State: closed - Opened by LevT2 over 3 years ago

#34 - [README] Fix typo.

Pull Request - State: closed - Opened by dan-zheng almost 6 years ago - 1 comment

#33 - Fix README typo.

Pull Request - State: closed - Opened by dan-zheng over 6 years ago - 4 comments

#32 - Make tests tolerant to upcoming changes in scalac

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

#31 - update scala versions

Pull Request - State: closed - Opened by xuwei-k over 6 years ago - 2 comments

#30 - Feature/more simplification

Pull Request - State: open - Opened by winitzki almost 7 years ago - 1 comment

#29 - first step towards detecting val's from the enclosing class

Pull Request - State: closed - Opened by winitzki almost 7 years ago - 1 comment

#28 - Feature/performance improvements

Pull Request - State: closed - Opened by winitzki almost 7 years ago - 1 comment

#27 - Miscellaneous improvements

Pull Request - State: closed - Opened by winitzki almost 7 years ago - 1 comment

#26 - fix bug for tuples; fix == and !=. Closes #25.

Pull Request - State: closed - Opened by winitzki almost 7 years ago - 1 comment

#25 - Failure to simplify tuple term

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

#24 - Feature/fix library type bug

Pull Request - State: closed - Opened by winitzki almost 7 years ago - 1 comment

#23 - Constructor types are not correctly instantiated in Scala code terms

Issue - State: closed - Opened by winitzki about 7 years ago - 1 comment
Labels: bug

#22 - Tests fail with Scala 2.11 due to different standard library names

Issue - State: open - Opened by winitzki about 7 years ago - 6 comments

#21 - do not "prettyRename" unless needed

Pull Request - State: closed - Opened by winitzki about 7 years ago - 1 comment

#20 - Generate identity functions for Unit values

Issue - State: open - Opened by winitzki about 7 years ago - 1 comment

#19 - Bug with case classes having zero arguments

Issue - State: closed - Opened by winitzki about 7 years ago - 1 comment

#18 - Insufficient heuristics

Issue - State: open - Opened by winitzki about 7 years ago

#17 - rename function to =>: to make it right-associative

Pull Request - State: closed - Opened by winitzki about 7 years ago - 1 comment

#16 - Feature/simplify conjunctions

Pull Request - State: closed - Opened by winitzki about 7 years ago - 1 comment

#15 - add documentation for lambda terms

Pull Request - State: closed - Opened by winitzki about 7 years ago - 1 comment

#14 - Feature/fix tuple option

Pull Request - State: closed - Opened by winitzki about 7 years ago - 1 comment

#13 - omit lambda-terms when using `implement`

Pull Request - State: closed - Opened by winitzki about 7 years ago - 1 comment

#12 - adding some tests for term API

Pull Request - State: closed - Opened by winitzki about 7 years ago - 1 comment

#11 - WIP towards supporting java-style argument groups

Pull Request - State: closed - Opened by winitzki about 7 years ago - 1 comment

#10 - update readme

Pull Request - State: closed - Opened by winitzki about 7 years ago - 1 comment

#9 - add ordering heuristics for conjunctions and disjunctions

Pull Request - State: closed - Opened by winitzki about 7 years ago - 1 comment

#8 - first fix to recursive types; no significant functionality yet

Pull Request - State: closed - Opened by winitzki about 7 years ago - 1 comment

#7 - Fix a bug with rule _&R

Pull Request - State: closed - Opened by winitzki about 7 years ago - 1 comment

#6 - add checking for state monad laws

Pull Request - State: closed - Opened by winitzki about 7 years ago - 1 comment

#5 - Fix some open bugs

Pull Request - State: closed - Opened by winitzki about 7 years ago - 1 comment

#4 - Feature/fix variable names

Pull Request - State: closed - Opened by winitzki about 7 years ago - 1 comment

#3 - implement toType

Pull Request - State: closed - Opened by winitzki about 7 years ago - 1 comment

#2 - Some bug fixes and updates

Pull Request - State: closed - Opened by winitzki about 7 years ago - 1 comment

#1 - Named conjunctions and disjunctions

Pull Request - State: closed - Opened by winitzki about 7 years ago - 1 comment

GitHub / Chymyst/curryhoward issues and pull requests