snejugal / typedKanren

A statically typed embedding of miniKanren in Haskell

https://snejugal.github.io/typedKanren/haddock

snejugal/typedKanren Stargazers

David Johnson
dmjio
Mikhail Scherbina
awarebayes
Antonina Nepeivoda
TonitaN

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.