search

stefan-hoeck / idris2-hedgehog

An Idris port of the Haskell Hedghog library
BSD 2-Clause "Simplified" License
32 stars 3 forks source link

[ upstream ] adjust docs to changes in parser package #25

Closed stefan-hoeck closed 1 year ago

stefan-hoeck commented 1 year ago

Cf. #24