@REFERENCE

Friday August 25, 2017 — Comments
Fixed-Length Vector Types in Haskell (an Update for 2017)
in #functional programming, #dependent types, #haskell, #singletons, #types, @Haskell, @Tutorials
Tuesday May 5, 2015 — Comments
Fixed-Length Vector Types in Haskell, 2015
in #functional programming, #dependent types, #haskell, #singletons, #types, @Haskell, @Tutorials