Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
mukul-rathi committed May 8, 2020
1 parent 456120c commit 7d1da79
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -3,9 +3,9 @@
[![CircleCI](https://circleci.com/gh/mukul-rathi/bolt/tree/master.svg?style=svg)](https://circleci.com/gh/mukul-rathi/bolt/tree/master)
[![Coverage Status](https://coveralls.io/repos/github/mukul-rathi/bolt/badge.svg?branch=master)](https://coveralls.io/github/mukul-rathi/bolt?branch=master)

This is the repository for my Part II Dissertation.
I am implementing a programming language Bolt with a type system that eliminates data-races! To see the accompanying dissertation, head to `https://github.com/mukul-rathi/bolt-dissertation`. To see a couple of examples of Bolt versus Java - check out `examples/` in this repo.

I am implementing a programming language Bolt with a type system that eliminates data-races.
Tutorials for how I built this all are incoming - I'll tweet about them when they drop https://twitter.com/mukulrathi_.

## Getting started

Expand Down

0 comments on commit 7d1da79

Please sign in to comment.