refined 0.3.1

Simple refinement types; parse, don't validate!
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
name: "Verify"
on:
  pull_request:
concurrency:
  group: ${{ github.workflow }}-${{ github.event.pull_request.number }}
  cancel-in-progress: true
jobs:
  verify:
    runs-on: ubuntu-latest
    steps:
    - uses: actions/checkout@v4
    - uses: cachix/install-nix-action@v27
      with:
        nix_path: nixpkgs=channel:nixos-24.11
    - run: ./verify.sh