PackagesEmbeddable Lambda Prolog Interpreter in OCaml
Maciej Barć committed on 2025-04-20 16:55:31 UTC Maciej Barć committed on 2025-04-20 16:55:31 UTC Maciej Barć committed on 2024-12-27 18:51:50 UTC
Alfredo Tupone committed on 2024-11-26 20:45:51 UTC Maciej Barć committed on 2024-11-23 21:26:55 UTC Maciej Barć committed on 2024-05-26 21:36:16 UTC Maciej Barć committed on 2024-05-26 21:36:16 UTC Maciej Barć committed on 2023-12-27 01:20:41 UTC Maciej Barć committed on 2023-12-27 01:20:40 UTC Maciej Barć committed on 2023-12-27 01:20:40 UTC Maciej Barć committed on 2023-08-05 16:53:01 UTC Maciej Barć committed on 2023-06-28 01:12:45 UTC Maciej Barć committed on 2023-03-15 00:25:40 UTC