dissoc

26 Apr 2020 » Spec2 experience
30 Mar 2020 » What are types in Clojure?
23 Jul 2019 » Responsive blog layout
20 Sep 2018 » The Road to Typed Clojure 1.0: Part 1
20 Apr 2018 » A Typed-Macro Writer’s Toolkit
13 Apr 2018 » Leaning on a Garbage Collector A Little Too Hard
12 Apr 2018 » How to generate specs for your Clojure project
09 Apr 2018 » Who doesn't want unsound type systems?
07 Apr 2018 » Macros across boundaries
07 Apr 2018 » Are unsound type systems wrong?
04 Apr 2018 » How I create Automatic Annotation Tools (Quals defense)
15 Aug 2016 » Automatic Annotations: Inferring Function Types
13 Aug 2016 » Basics of automatic annotations
07 Aug 2016 » Introducing Automatic Annotations
19 Jun 2015 » Gradual typing for Clojure
11 Oct 2013 » Typed DOM interactions with Typed Clojurescript: Part 1
06 Oct 2013 » Typed Clojurescript Playground
04 Oct 2013 » Typed Clojure prevents Null Pointer Exceptions
03 Oct 2013 » Red/Black tree rebalancing invariants (with plain maps)
01 Oct 2013 » The link between CinC and Typed Clojure
28 Sep 2013 » Crowdfunding full-time development on Typed Clojure and Clojurescript
08 Sep 2013 » Simple local reasoning with assertions
03 Sep 2013 » Using core.typed at the REPL
03 Sep 2013 » Using polymorphic higher-order functions
16 Aug 2013 » Invariants via immutability