Giters

Matthew-Mosior / idris2-biofasta

Idris (Idris2) port of the Haskell biofasta library.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

biofastafasta-formatfasta-sequenceshaskell-portidris2

idris2-biofasta

Idris (Idris2) port of the Haskell biofasta library.

About

Idris (Idris2) port of the Haskell biofasta library.

biofastafasta-formatfasta-sequenceshaskell-portidris2

License:BSD 3-Clause "New" or "Revised" License

Languages

Language:Idris 100.0%