Clojurians Log v2
Clojure programming
Channels
Apps
core-typed
2023-08-16T15:54:52.017969Z
Done!!
(is-tc-e (into [] (map #(do %)) [1])
(t/Vec (t/Val 1)))🎉 1
2023-08-16T16:01:51.115099Z
ayyy nicely done, that's sick as shit
🤩 2
2023-08-16T21:38:06.692299Z
I wrote a tutorial, can I get some feedback please? https://github.com/typedclojure/typedclojure/tree/main/example-projects/symbolic-guide#symbolic-execution-in-typed-clojure
2023-08-16T22:15:15.502729Z
😄 1
🎉 5