https://github.com/sellout/quid-pro-quo
Common Lisp92
6 years ago
A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.
Other
A total recursion scheme library for Dhall
Nix64agpl-3.0
4 months ago
dhallrecursion-schemes
A talk on using recursion schemes in FP.
213agpl-3.0
7 years ago