giuliohome / specstrom

A new specification language for Quickstrom

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Specstrom

Build and test

Running tests

The regular Cabal way runs all tests:

cabal test

But you can also use ghcid to watch files and rerun tests on changes:

chmod go-w .ghci
HEDGEHOG_COLOR=1 ghcid test/Main.hs --test main

About

A new specification language for Quickstrom

License:BSD 3-Clause "New" or "Revised" License


Languages

Language:Haskell 57.4%Language:Rust 36.2%Language:HTML 3.2%Language:Emacs Lisp 1.2%Language:Nix 1.0%Language:Shell 0.5%Language:PureScript 0.5%