unofficial mirror of guile-user@gnu.org 
 help / color / mirror / Atom feed
* Guile Potluck 2021: QuickCheck
@ 2021-03-06 15:17 Timothy Sample
  2021-03-08 20:07 ` Ludovic Courtès
  0 siblings, 1 reply; 2+ messages in thread
From: Timothy Sample @ 2021-03-06 15:17 UTC (permalink / raw)
  To: guile-user

Hello all,

For the potluck this year, I would like to present to you
Guile-QuickCheck, which is a property-based testing library.  You can
download it and see a brief example at

  https://ngyro.com/software/guile-quickcheck.html

(A Guix package is forthcoming.)  I wrote this library years ago, but
then realized I didn’t want it for the project I was working on at the
time [1].  It wasn’t quite ready for distribution, so I left it unloved
for a few years.  I dusted it off and used it for a recent project [2],
and it works pretty well.  It has rough edges and missing features, but
it’s a start!  Anyway, I definitely think it is Potluck material
(thanks, Mike!).  Enjoy!


-- Tim

[1] https://savannah.nongnu.org/projects/gash/
[2] https://ngyro.com/software/disarchive.html



^ permalink raw reply	[flat|nested] 2+ messages in thread

* Re: Guile Potluck 2021: QuickCheck
  2021-03-06 15:17 Guile Potluck 2021: QuickCheck Timothy Sample
@ 2021-03-08 20:07 ` Ludovic Courtès
  0 siblings, 0 replies; 2+ messages in thread
From: Ludovic Courtès @ 2021-03-08 20:07 UTC (permalink / raw)
  To: guile-user

Hi Timothy,

Timothy Sample <samplet@ngyro.com> skribis:

> For the potluck this year, I would like to present to you
> Guile-QuickCheck, which is a property-based testing library.  You can
> download it and see a brief example at
>
>   https://ngyro.com/software/guile-quickcheck.html

Yay, nice dish that you bring, thanks!  :-)

Ludo’.




^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2021-03-08 20:07 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-03-06 15:17 Guile Potluck 2021: QuickCheck Timothy Sample
2021-03-08 20:07 ` Ludovic Courtès

unofficial mirror of guile-user@gnu.org 

This inbox may be cloned and mirrored by anyone:

	git clone --mirror https://yhetil.org/guile-user/0 guile-user/git/0.git

	# If you have public-inbox 1.1+ installed, you may
	# initialize and index your mirror using the following commands:
	public-inbox-init -V2 guile-user guile-user/ https://yhetil.org/guile-user \
		guile-user@gnu.org
	public-inbox-index guile-user

Example config snippet for mirrors.
Newsgroups are available over NNTP:
	nntp://news.yhetil.org/yhetil.lisp.guile.user
	nntp://news.gmane.io/gmane.lisp.guile.user


AGPL code for this site: git clone http://ou63pmih66umazou.onion/public-inbox.git