Fork me on GitHub
#core-typed
<
2023-08-15
>
ambrosebs02:08:15

Closing in... this works: (-> [] (ann-form (Vec Int)) (map #(inc %) [1 2]))