[Agda] Semantic Web library

[Alan Jeffrey]

Hi everyone,

I created a new repository, which is intended to grow into a library for 
modeling a fragment of the Semantic Web.  It's at:

   https://github.com/agda/agda-web-semantic/

It's early days yet -- currently there is just a description logic, with 
accompanying models and a sound and complete proof system for a 
fragment.  The hope is that this will grow to a library supporting 
provably-correct programs which process semantic data.

All comments welcome!

Alan.