dannypsnl/k issues and pull requests

#50 - Show test coverage badge with cover-badge

Issue - State: closed - Opened by CYBAI almost 2 years ago - 2 comments
Labels: ci

#49 - Fix implicit definition's expansion

Issue - State: closed - Opened by CYBAI about 2 years ago - 1 comment
Labels: bug

#48 - Quantitative type theory

Issue - State: closed - Opened by dannypsnl about 2 years ago
Labels: note

#47 - Observational equality

Issue - State: closed - Opened by dannypsnl about 2 years ago
Labels: note

#45 - without-K

Issue - State: closed - Opened by dannypsnl about 2 years ago
Labels: note

#44 - Abbreviation for `Pi`

Issue - State: closed - Opened by dannypsnl about 2 years ago
Labels: enhancement

#43 - Bad type should work without strict positivity

Issue - State: closed - Opened by dannypsnl about 2 years ago
Labels: bug

#42 - redundant `begin`

Issue - State: closed - Opened by dannypsnl about 2 years ago
Labels: enhancement

#41 - try merge `#:postulate` and `#:constructor`

Issue - State: closed - Opened by dannypsnl about 2 years ago
Labels: enhancement

#40 - improve pattern transformation

Issue - State: closed - Opened by dannypsnl about 2 years ago - 1 comment
Labels: enhancement

#39 - postulate/constructor form

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

#38 - postulate definition for later reuse it in `data`

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

#37 - nested pattern won't work currently

Issue - State: closed - Opened by dannypsnl over 2 years ago
Labels: bug, good first issue

#36 - core(allow nested pattern)

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

#35 - core(implicit parameters and patterns)

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

#34 - bug(`Nat=?` cannot type check now)

Issue - State: closed - Opened by dannypsnl over 2 years ago
Labels: bug

#33 - implement pi type correctly

Issue - State: closed - Opened by dannypsnl over 2 years ago - 5 comments
Labels: feature

#32 - multi collection

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

#31 - Real

Issue - State: closed - Opened by dannypsnl over 2 years ago
Labels: feature

#30 - turn to multi-collection project

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

#29 - [WIP] Check def function body

Pull Request - State: closed - Opened by CYBAI almost 3 years ago - 1 comment

#28 - covering check

Issue - State: closed - Opened by dannypsnl almost 3 years ago
Labels: feature

#27 - bind(share type)

Pull Request - State: closed - Opened by CYBAI almost 3 years ago

#26 - unknown reason crashed on pkgs.racket-lang.org

Issue - State: closed - Opened by dannypsnl almost 3 years ago - 1 comment
Labels: help wanted

#25 - path

Issue - State: closed - Opened by dannypsnl almost 3 years ago
Labels: feature

#24 - simpler index type

Issue - State: closed - Opened by dannypsnl almost 3 years ago - 1 comment
Labels: feature

#23 - finite set

Issue - State: closed - Opened by dannypsnl almost 3 years ago - 2 comments
Labels: feature

#22 - termination check

Issue - State: closed - Opened by dannypsnl almost 3 years ago - 1 comment
Labels: feature

#21 - implicit parameter and implicit pattern

Issue - State: closed - Opened by dannypsnl almost 3 years ago
Labels: feature

#20 - bind many name with type

Issue - State: closed - Opened by dannypsnl almost 3 years ago
Labels: enhancement, feature

#19 - form `data-out`

Pull Request - State: closed - Opened by dannypsnl almost 3 years ago - 1 comment

#18 - add failed test

Issue - State: closed - Opened by dannypsnl almost 3 years ago - 1 comment

#17 - doc initial

Issue - State: closed - Opened by dannypsnl almost 3 years ago - 1 comment
Labels: doc

#16 - check body of def function

Issue - State: closed - Opened by dannypsnl almost 3 years ago - 1 comment
Labels: bug

#15 - define Congruence

Issue - State: closed - Opened by dannypsnl almost 3 years ago
Labels: feature

#14 - distinct implicit and explicit parameter

Issue - State: closed - Opened by dannypsnl almost 3 years ago - 1 comment
Labels: how

#13 - test is not working

Issue - State: closed - Opened by arademaker almost 3 years ago - 4 comments

#12 - depends on term's type cannot work

Issue - State: closed - Opened by dannypsnl almost 3 years ago - 1 comment
Labels: bug

#11 - Generated syntax's(from datum) identifier became free identifier even it has bound originally

Issue - State: closed - Opened by dannypsnl almost 3 years ago - 2 comments
Labels: bug

#10 - normalize term in type properly

Issue - State: closed - Opened by dannypsnl almost 3 years ago - 1 comment

#9 - equivalence type

Issue - State: closed - Opened by dannypsnl almost 3 years ago

#8 - def identity

Issue - State: closed - Opened by dannypsnl almost 3 years ago

#7 - def should check its patterns' type

Issue - State: closed - Opened by dannypsnl almost 3 years ago

#6 - BUG: def with one clause will be treated as variable binding, which is a problem

Issue - State: closed - Opened by dannypsnl almost 3 years ago

#5 - data type with dependencies(PI type): like Vec, List

Issue - State: closed - Opened by dannypsnl almost 3 years ago - 1 comment

#4 - universe polymorphism

Issue - State: closed - Opened by dannypsnl almost 3 years ago - 2 comments
Labels: feature

#3 - strictly positive check

Issue - State: closed - Opened by dannypsnl almost 3 years ago
Labels: feature, good first issue

#2 - syntax: data-out

Issue - State: closed - Opened by dannypsnl almost 3 years ago - 1 comment
Labels: feature

#1 - support basic data type syntax: Zero, One, Bool, Nat

Issue - State: closed - Opened by dannypsnl almost 3 years ago

GitHub / dannypsnl/k issues and pull requests