https://github.com/pthariensflame/anabel

An implementation of type theory, focused on computation and extensibility
https://github.com/pthariensflame/anabel

Last synced: 2 months ago
JSON representation

An implementation of type theory, focused on computation and extensibility

• Host: GitHub
• URL: https://github.com/pthariensflame/anabel
• Owner: pthariensflame
• License: bsd-3-clause
• Created: 2015-11-08T03:55:58.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2016-07-24T21:11:20.000Z (almost 9 years ago)
• Last Synced: 2025-03-24T20:07:43.993Z (2 months ago)
• Language: Haskell
• Size: 10.7 KB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Anabel

[![Build Status](https://travis-ci.org/pthariensflame/Anabel.svg?branch=master)](https://travis-ci.org/pthariensflame/Anabel)

An implementation of type theory, focused on computation and extensibility.