https://github.com/jroesch/dependent-tychk

Experiments in dependent typing
https://github.com/jroesch/dependent-tychk

Last synced: 24 days ago
JSON representation

Experiments in dependent typing

• Host: GitHub
• URL: https://github.com/jroesch/dependent-tychk
• Owner: jroesch
• License: mit
• Created: 2014-12-15T02:58:39.000Z (almost 10 years ago)
• Default Branch: 290c
• Last Pushed: 2015-03-22T05:14:31.000Z (over 9 years ago)
• Last Synced: 2023-04-01T03:38:57.560Z (over 1 year ago)
• Language: Haskell
• Homepage:
• Size: 492 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# HUBRIS

A simple dependently typed lambda calculus. The goal of this is to show

a very simple tutorial implementation with as many of the complexities

abstracted away as possible.

## Building

This project requires `ghc` and `cabal`.

To install dependencies run `cabal install --only-dependencies`.

To get a working Hubris repl, run `cabal run`.

## Write Up

There is an associated write up that can be found at

`write-up/dt-simple.md`