search

con-kitty / categorifier

Interpret Haskell programs into any cartesian closed category.
BSD 3-Clause "New" or "Revised" License
57 stars 2 forks source link

Add support for Vec's Representable ops. #64

Closed sellout closed 2 years ago

sellout commented 2 years ago

Since Vec is fixed-length, this means indexing (!) is just Representable's index. So we can support indexing into Vecs without having to support a categorical notion of sequences.