Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/waddlaw/liquidhaskell-ci

haskell liquidhaskell

Last synced: 1 day ago
JSON representation

Host: GitHub
URL: https://github.com/waddlaw/liquidhaskell-ci
Owner: waddlaw
License: bsd-3-clause
Created: 2018-03-07T05:05:45.000Z (almost 7 years ago)
Default Branch: master
Last Pushed: 2018-03-07T08:58:11.000Z (almost 7 years ago)
Last Synced: 2024-11-06T23:42:23.526Z (about 2 months ago)
Topics: haskell, liquidhaskell
Language: Haskell
Size: 48.8 KB
Stars: 0
Watchers: 1
Forks: 0
Open Issues: 0
Metadata Files:
- Readme: README.md
- Changelog: ChangeLog.md
- License: LICENSE

Awesome Lists containing this project

README

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

[![CircleCI](https://circleci.com/gh/waddlaw/liquidhaskell-ci.svg?style=svg)](https://circleci.com/gh/waddlaw/liquidhaskell-ci)

# liquidhaskell-ci

References:

- [serokell/universum](https://github.com/serokell/universum/blob/e86d90d2fa907d21edad303f6c252cd6d167dc7f/.travis.yml)

- [nikivazou/theorem-proving-template](https://github.com/nikivazou/theorem-proving-template/blob/master/.travis.yml)