https://github.com/rootmos/ppx_ski

SKI combinator calculus implemented in OCaml
https://github.com/rootmos/ppx_ski

ocaml ppx ski-calculus ski-combinators

Last synced: about 2 months ago
JSON representation

SKI combinator calculus implemented in OCaml

• Host: GitHub
• URL: https://github.com/rootmos/ppx_ski
• Owner: rootmos
• Created: 2017-04-07T17:54:24.000Z (almost 8 years ago)
• Default Branch: master
• Last Pushed: 2017-04-09T14:06:46.000Z (almost 8 years ago)
• Last Synced: 2024-03-16T02:02:08.035Z (10 months ago)
• Topics: ocaml, ppx, ski-calculus, ski-combinators
• Language: OCaml
• Homepage:
• Size: 28.3 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project