recursion-scheme-talk in passy/awesome-recursion-schemes

A talk on using recursion schemes in FP.

updated at April 22, 2024, 9:08 p.m.

14 +0

212 +0

13 +0

quid-pro-quo in CodyReichert/awesome-cl

A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.

updated at April 16, 2024, 4:50 a.m.

8 +0

92 +0

9 +0

dada in passy/awesome-recursion-schemes

A total recursion scheme library for Dhall

updated at Nov. 17, 2023, 5:20 a.m.

8 +0

64 +0

7 +0