Description

This artifact is the Haskell code from Appendix B of the paper "Relational Algebra by Way of Adjunctions", appearing at ICFP 2018.

Assets

Instructions

General Installation

Software Dependencies:

Works with GHC 7.10.3

General Installation:

Unpack zip file

Other Instructions:

run GHCi on Example.hs

Experimental Installation

Installation:

At the GHCi prompt, evaluate "go" to get the example from the paper

Provenance

Funded by EPSRC EP/J010995/1 and Innovation Fund Denmark 10-092299