#standard #language #specr

nightly libspecr

standard library for specr lang

31 releases

0.1.30 Jul 30, 2024
0.1.27 May 14, 2024
0.1.26 Sep 27, 2023
0.1.20 Jul 28, 2023
0.1.13 Mar 26, 2023

#342 in Development tools

MIT/Apache

66KB
1.5K SLoC

libspecr

libspecr is the standard library of specr lang.

For more information, see the docs.


lib.rs:

libspecr is the standard library of specr lang.

Dependencies

~3.5MB
~77K SLoC