Giters

ekmett / bound

Combinators for manipulating locally-nameless generalized de Bruijn terms

Home Page:https://www.schoolofhaskell.com/user/edwardk/bound

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

use hashable-1.2.5.0 Hashable1

phadej opened this issue · comments