clojure-core-typed@googlegroups.com

0

replies

core.typed 0.6.0 - Performance improvements, towards leaner runtime

started 2018-11-09 08:51:28 UTC

2018-11-09 08:51:28 UTC

a***@ambrosebs.com

1

reply

New Patreon for Typed Clojure

started 2018-11-08 13:39:58 UTC

2018-11-08 15:00:16 UTC

w***@gmail.com

5

replies

[ANN] core.typed 0.5.1 - Improved auto-annotation performance, CircleCI Workflow

started 2018-04-19 03:02:26 UTC

2018-09-14 19:27:18 UTC

j***@gmail.com

0

replies

[ANN] core.typed 0.5.0

started 2018-04-12 22:45:16 UTC

2018-04-12 22:45:16 UTC

i***@gmail.com

43

replies

Updating the Clojurescript Checker

started 2015-11-30 03:55:47 UTC

2017-10-14 00:25:34 UTC

s***@gmail.com

0

replies

[ANN] Automatically generate your specs and types

started 2017-10-13 20:30:42 UTC

2017-10-13 20:30:42 UTC

A***@gmail.com

1

reply

core.typed 0.3.32 - core library annotations

started 2017-01-17 12:52:09 UTC

2017-05-18 15:08:32 UTC

a***@gmail.com

1

reply

How can I type check this function?

started 2017-04-28 16:42:01 UTC

2017-04-28 16:44:14 UTC

A***@gmail.com

2

replies

Automatically ignore untyped vars?

started 2017-03-19 01:36:35 UTC

2017-03-19 02:23:29 UTC

c***@gmail.com

1

reply

ClassNotFoundException with slim jar

started 2017-03-08 18:56:08 UTC

2017-03-09 08:13:32 UTC

A***@gmail.com

2

replies

Can typed-clojure be used without writing any type annotation?

started 2017-02-27 02:08:15 UTC

2017-02-27 06:33:03 UTC

c***@gmail.com

3

replies

Cider warning post 0.3.25

started 2017-02-22 00:30:59 UTC

2017-02-22 03:40:31 UTC

A***@gmail.com

0

replies

[ANN] core.typed 0.3.31 - "paired" rest arguments like hash-map/assoc

started 2017-01-16 05:41:27 UTC

2017-01-16 05:41:27 UTC

A***@gmail.com

0

replies

[ANN] core.typed 0.3.30 - Remove "collection phase"

started 2017-01-11 21:46:40 UTC

2017-01-11 21:46:40 UTC

A***@gmail.com

0

replies

[ANN] core.typed 0.3.29

started 2017-01-09 00:19:08 UTC

2017-01-09 00:19:08 UTC

A***@gmail.com

2

replies

State of core.typed?

started 2016-10-16 02:51:28 UTC

2016-11-06 04:33:49 UTC

d***@gmail.com

0

replies

ClassCastException using spec-infer

started 2016-09-07 16:12:52 UTC

2016-09-07 16:12:52 UTC

e***@gmail.com

11

replies

[ANN] Automatic specs + core.typed release

started 2016-08-31 14:16:46 UTC

2016-09-01 05:41:42 UTC

A***@gmail.com

7

replies

[ANN] Automatic Clojure Type Annotations

started 2016-08-14 19:33:12 UTC

2016-08-18 20:34:39 UTC

j***@gmail.com

2

replies

check-ns fails with StackOverflowError

started 2016-06-15 03:15:57 UTC

2016-06-15 06:53:45 UTC

t***@gmail.com

1

reply

type check error (higher order unification?)

started 2016-06-04 23:13:41 UTC

2016-06-08 08:44:39 UTC

A***@gmail.com

1

reply

DEPRECATED SYNTAX for Fn

started 2016-05-23 23:16:17 UTC

2016-05-24 00:07:21 UTC

A***@gmail.com

2

replies

clojure.core.typed/cf fails

started 2016-05-23 21:51:02 UTC

2016-05-23 23:03:00 UTC

t***@gmail.com

0

replies

core.typed 0.3.23 - Bug fix

started 2016-04-16 09:26:34 UTC

2016-04-16 09:26:34 UTC

A***@gmail.com

1

reply

subtyping optional keywords in HMaps

started 2016-04-14 00:36:27 UTC

2016-04-14 00:46:00 UTC

A***@gmail.com

2

replies

Difference plans

started 2016-04-11 17:53:13 UTC

2016-04-12 16:06:00 UTC

g***@gmail.com

2

replies

"Assume type" operation, transducers

started 2016-04-11 12:52:10 UTC

2016-04-12 15:53:04 UTC

g***@gmail.com

3

replies

Extensible Enums

started 2016-03-10 10:05:29 UTC

2016-03-11 07:53:54 UTC

k***@gmail.com

0

replies

Explanation of Type Functions

started 2016-03-10 09:57:33 UTC

2016-03-10 09:57:33 UTC

k***@gmail.com

3

replies

Reflection and meta-types

started 2016-03-09 01:24:40 UTC

2016-03-09 04:02:38 UTC

k***@gmail.com