https://github.com/sellout/quid-pro-quo
Common Lisp94
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
Nix65agpl-3.0
6 days ago
dhallrecursion-schemes
A talk on using recursion schemes in FP.
217agpl-3.0
8 months ago