oisdk/type-indexed-queues

Queues with verified and unverified versions

语言：Haskell · GitHub 星标：9 · Fork：0

话题：data-structures · dependent-types · haskell

在 GitHub 上查看原仓库