## Andromeda

Andromeda is an experimental implementation of dependent type theory with a reflection rule.

See the official [Andromeda web site](http://andromedans.github.io/andromeda/type-theory.html) for more information.

[![Build Status](https://api.travis-ci.org/Andromedans/andromeda.png?branch=master)](https://travis-ci.org/Andromedans/andromeda)


## Andromeda

Andromeda is an experimental implementation of dependent type theory with a reflection rule.

See the official [Andromeda web site](http://andromedans.github.io/andromeda/) for more information.

[![Build Status](https://api.travis-ci.org/Andromedans/andromeda.png?branch=master)](https://travis-ci.org/Andromedans/andromeda)


Fix URL to web page
Fix URL to web page
