agda / agda-data-bindings

Agda bindings for low-level datatypes such as raw naturals and bytestrings

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Agda Data Bindings Library
==========================

Simple bindings for low-level data such as native natural numbers and bytestrings.

About

Agda bindings for low-level datatypes such as raw naturals and bytestrings

License:MIT License


Languages

Language:Agda 82.1%Language:Haskell 13.2%Language:Makefile 4.7%