Typed Clojure issues | Ecosyste.ms: OpenCollective

Bump DeLaGuardo/setup-clojure from 13.0 to 13.1

github.com/typedclojure/typedclojure - dependabot[bot] opened this pull request 7 days ago

Bump org.apache.maven.plugins:maven-release-plugin from 2.5.3 to 3.1.1

github.com/typedclojure/typedclojure - dependabot[bot] opened this pull request 21 days ago

Bump com.theoryinpractise:clojure-maven-plugin from 1.9.2 to 1.9.3

github.com/typedclojure/typedclojure - dependabot[bot] opened this pull request 21 days ago

Bump org.clojure:core.memoize from 1.0.257 to 1.1.266

github.com/typedclojure/typedclojure - dependabot[bot] opened this pull request 21 days ago

disable direct link during dev

github.com/typedclojure/typedclojure - frenchy64 opened this pull request 21 days ago

Union Types not working as expected

github.com/typedclojure/typedclojure - sstraust opened this issue 2 months ago

Documentation for Malli Type conversion

github.com/typedclojure/typedclojure - sstraust opened this issue 2 months ago

Small analyzer optimizations

github.com/typedclojure/typedclojure - alexander-yakushev opened this pull request 4 months ago

Add custom fn macros to analyzer

github.com/typedclojure/typedclojure - alexander-yakushev opened this pull request 4 months ago

Introduce custom assertion macro and fn/defn with custom pre/post conditions

github.com/typedclojure/typedclojure - alexander-yakushev opened this pull request 4 months ago

Checker optimizations

github.com/typedclojure/typedclojure - alexander-yakushev opened this pull request 4 months ago

Refactor with-bounded-frees

github.com/typedclojure/typedclojure - alexander-yakushev opened this pull request 5 months ago

Make substitute* allocate less

github.com/typedclojure/typedclojure - alexander-yakushev opened this pull request 5 months ago

Analyzer optimizations

github.com/typedclojure/typedclojure - alexander-yakushev opened this pull request 6 months ago

Merge reduce2 and reduce4

github.com/typedclojure/typedclojure - alexander-yakushev opened this pull request 6 months ago

Add profiling scripts

github.com/typedclojure/typedclojure - alexander-yakushev opened this pull request 6 months ago

Bump org.apache.maven.plugins:maven-release-plugin from 2.5.3 to 3.1.0

github.com/typedclojure/typedclojure - dependabot[bot] opened this pull request 6 months ago

Optimize default fold case

github.com/typedclojure/typedclojure - alexander-yakushev opened this pull request 6 months ago

remove *checker*

github.com/typedclojure/typedclojure - frenchy64 opened this pull request 6 months ago

delay premature locals clearing reprod

github.com/typedclojure/typedclojure - frenchy64 opened this pull request 7 months ago

Another set of improvements

github.com/typedclojure/typedclojure - alexander-yakushev opened this pull request 7 months ago

Split subtypeA*

github.com/typedclojure/typedclojure - alexander-yakushev opened this pull request 7 months ago

Intermittent test failure involving recursive types

github.com/typedclojure/typedclojure - frenchy64 opened this issue 7 months ago

Set of non-brainer optimizations

github.com/typedclojure/typedclojure - alexander-yakushev opened this pull request 7 months ago

ClojureCLR conditionalizations

github.com/typedclojure/typedclojure - dmiller opened this pull request 7 months ago

Bump org.codehaus.mojo:build-helper-maven-plugin from 3.3.0 to 3.6.0

github.com/typedclojure/typedclojure - dependabot[bot] opened this pull request 7 months ago

Scoping issue leading to type check failure

github.com/typedclojure/typedclojure - fr33m0nk opened this issue 8 months ago

Bump DeLaGuardo/setup-clojure from 12.1 to 12.5

github.com/typedclojure/typedclojure - dependabot[bot] opened this pull request 9 months ago

Bump aws-actions/configure-aws-credentials from 2.2.0 to 4.0.2

github.com/typedclojure/typedclojure - dependabot[bot] opened this pull request 9 months ago

Bump org.apache.maven.plugins:maven-compiler-plugin from 3.10.0 to 3.13.0

github.com/typedclojure/typedclojure - dependabot[bot] opened this pull request 9 months ago

Bump babashka:process from 0.5.21 to 0.5.22

github.com/typedclojure/typedclojure - dependabot[bot] opened this pull request 9 months ago

Bump org.clojure:clojure from 1.12.0-alpha5 to 1.12.0-alpha9

github.com/typedclojure/typedclojure - dependabot[bot] opened this pull request 9 months ago

Bump org.clojure:tools.reader from 1.3.6 to 1.4.1

github.com/typedclojure/typedclojure - dependabot[bot] opened this pull request 9 months ago

Another bug in type inference

github.com/typedclojure/typedclojure - tjcampanella opened this issue 9 months ago

Bug in type inference

github.com/typedclojure/typedclojure - tjcampanella opened this issue 9 months ago

Emacs typed-clojure-mode is not on MELPA

github.com/typedclojure/typedclojure - sstraust opened this issue 9 months ago

Missing annotations

github.com/typedclojure/typedclojure - triHims opened this issue 10 months ago

Bump actions/cache from 3 to 4

github.com/typedclojure/typedclojure - dependabot[bot] opened this pull request 11 months ago

Bump DeLaGuardo/setup-clojure from 12.1 to 12.3

github.com/typedclojure/typedclojure - dependabot[bot] opened this pull request 11 months ago

Bump DeLaGuardo/setup-clojure from 12.1 to 12.2

github.com/typedclojure/typedclojure - dependabot[bot] opened this pull request 12 months ago

Bump org.apache.maven.plugins:maven-compiler-plugin from 3.10.0 to 3.12.1

github.com/typedclojure/typedclojure - dependabot[bot] opened this pull request 12 months ago

Bump actions/setup-java from 3 to 4

github.com/typedclojure/typedclojure - dependabot[bot] opened this pull request about 1 year ago

Bump org.codehaus.mojo:build-helper-maven-plugin from 3.3.0 to 3.5.0

github.com/typedclojure/typedclojure - dependabot[bot] opened this pull request about 1 year ago

Bump org.clojure:tools.reader from 1.3.6 to 1.3.7

github.com/typedclojure/typedclojure - dependabot[bot] opened this pull request about 1 year ago

`comp` type signature

github.com/typedclojure/typedclojure - owenRiddy opened this issue about 1 year ago

clj-kondo support

github.com/typedclojure/typedclojure - owenRiddy opened this pull request about 1 year ago

clj-kondo support

github.com/typedclojure/typedclojure - owenRiddy opened this issue about 1 year ago

Cyclic dependency

github.com/typedclojure/typedclojure - owenRiddy opened this issue about 1 year ago

`envs` appears to be broken

github.com/typedclojure/typedclojure - owenRiddy opened this issue about 1 year ago

Bump org.clojure:clojure from 1.12.0-alpha4 to 1.12.0-alpha5

github.com/typedclojure/typedclojure - dependabot[bot] opened this pull request about 1 year ago

Bump aws-actions/configure-aws-credentials from 2.2.0 to 4.0.1

github.com/typedclojure/typedclojure - dependabot[bot] opened this pull request about 1 year ago

Bump metosin:malli from 0.12.0 to 0.13.0

github.com/typedclojure/typedclojure - dependabot[bot] opened this pull request about 1 year ago

Bump aws-actions/configure-aws-credentials from 2.2.0 to 4.0.0