github.com/typedclojure/typedclojure issues | Ecosyste.ms: OpenCollective

Bump DeLaGuardo/setup-clojure from 13.0 to 13.1

dependabot[bot] opened this pull request 24 days ago

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

dependabot[bot] opened this pull request about 1 month ago

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

dependabot[bot] opened this pull request about 1 month ago

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

dependabot[bot] opened this pull request about 1 month ago

disable direct link during dev

frenchy64 opened this pull request about 1 month ago

Union Types not working as expected

sstraust opened this issue 3 months ago

Documentation for Malli Type conversion

sstraust opened this issue 3 months ago

Small analyzer optimizations

alexander-yakushev opened this pull request 4 months ago

Add custom fn macros to analyzer

alexander-yakushev opened this pull request 5 months ago

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

alexander-yakushev opened this pull request 5 months ago

Checker optimizations

alexander-yakushev opened this pull request 5 months ago

Refactor with-bounded-frees

alexander-yakushev opened this pull request 5 months ago

Make substitute* allocate less

alexander-yakushev opened this pull request 5 months ago

Analyzer optimizations

alexander-yakushev opened this pull request 6 months ago

Merge reduce2 and reduce4

alexander-yakushev opened this pull request 6 months ago

Add profiling scripts

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

dependabot[bot] opened this pull request 7 months ago

Optimize default fold case

alexander-yakushev opened this pull request 7 months ago

remove *checker*

frenchy64 opened this pull request 7 months ago

delay premature locals clearing reprod

frenchy64 opened this pull request 7 months ago

Another set of improvements

alexander-yakushev opened this pull request 7 months ago

Split subtypeA*

alexander-yakushev opened this pull request 8 months ago

Intermittent test failure involving recursive types

frenchy64 opened this issue 8 months ago

Set of non-brainer optimizations

alexander-yakushev opened this pull request 8 months ago

ClojureCLR conditionalizations

dmiller opened this pull request 8 months ago

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

dependabot[bot] opened this pull request 8 months ago

Scoping issue leading to type check failure

fr33m0nk opened this issue 9 months ago

Bump DeLaGuardo/setup-clojure from 12.1 to 12.5

dependabot[bot] opened this pull request 10 months ago

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

dependabot[bot] opened this pull request 10 months ago

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

dependabot[bot] opened this pull request 10 months ago

Bump babashka:process from 0.5.21 to 0.5.22

dependabot[bot] opened this pull request 10 months ago

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

dependabot[bot] opened this pull request 10 months ago

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

dependabot[bot] opened this pull request 10 months ago

Another bug in type inference

tjcampanella opened this issue 10 months ago

Bug in type inference

tjcampanella opened this issue 10 months ago

Emacs typed-clojure-mode is not on MELPA

sstraust opened this issue 10 months ago

Missing annotations

triHims opened this issue 10 months ago

Bump actions/cache from 3 to 4

dependabot[bot] opened this pull request 12 months ago

Bump DeLaGuardo/setup-clojure from 12.1 to 12.3

dependabot[bot] opened this pull request 12 months ago

Bump DeLaGuardo/setup-clojure from 12.1 to 12.2

dependabot[bot] opened this pull request about 1 year ago

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

dependabot[bot] opened this pull request about 1 year ago

Bump actions/setup-java from 3 to 4

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

dependabot[bot] opened this pull request about 1 year ago

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

dependabot[bot] opened this pull request about 1 year ago

`comp` type signature

owenRiddy opened this issue about 1 year ago

clj-kondo support

owenRiddy opened this pull request about 1 year ago

clj-kondo support

owenRiddy opened this issue about 1 year ago

Cyclic dependency

owenRiddy opened this issue about 1 year ago

`envs` appears to be broken

owenRiddy opened this issue about 1 year ago

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

dependabot[bot] opened this pull request about 1 year ago

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