agda-attic/agda-assoc-free
An implementation of "Associativity for Free"
Developer Profile
agda-attic
Discovered public repositories for agda-attic in the GitHub catalog.
agda-attic/agda-frp-js
ECMAScript back end for Functional Reactive Programming in Agda
agda-attic/agda-frp-ltl
An implementation of Functional Reactive Programming
agda-attic/agda-data-bindings
Agda bindings for low-level datatypes such as raw naturals and bytestrings
agda-attic/agda-text-xml
Simple bindings for parsing, processing and serializing XML
agda-attic/agda-web-uri
Simple bindings for parsing, processing and serializing URIs
agda-attic/agda-makefile
An makefile with lightweight dependency management
agda-attic/agda-web-semantic
Agda libraries for the semantic web
agda-attic/agda-system-io
Bindings to Haskell's IO monad which respect Agda's semantics