/bee2-agda

Agda FFI bindings to Haskell [bee2-hs](https://github.com/semenov-vladyslav/bee2-hs.git) library.

Primary LanguageAgdaMIT LicenseMIT

No issues in this repository yet.