Commit graph

Select branches

Hide pull requests

main

Mono Color

• f8b89966fb remove old realtional interpreter version main ProgramSnail 2026-01-12 17:25:22 +03:00
• 1c399b12ae move old version on relational interpreter, fix the new version ProgramSnail 2026-01-12 17:24:49 +03:00
• 5f7b25be81 fixes, parto of the list / nat oprs replaced ProgramSnail 2026-01-11 20:10:00 +03:00
• be204de679 fixes, initial approximate structure of the relational interpreter (not correct, is not supposed to work) ProgramSnail 2026-01-11 17:24:45 +03:00
• 909dad6694 replace map with loist of associations ProgramSnail 2026-01-11 15:12:33 +03:00
• ba4191b64a +rel types def ProgramSnail 2026-01-10 07:40:46 +03:00
• b8ea97d537 fix build with ocanren syntax (with dune), separate functional and relational implementations ProgramSnail 2026-01-09 19:41:39 +03:00
• c72883f489 store assignments by var id instead of mem id ProgramSnail 2025-12-16 15:49:22 +03:00
• a2d4bb93e6 semantic interpreter v1, semantic interpreter tests, fixes ProgramSnail 2025-12-14 15:59:18 +03:00
• 1c74f0c3ef interpretera, logic & abstract types draft, fixes ProgramSnail 2025-12-09 16:40:20 +03:00
• 658415536b draft rules in prolog-like syntax ProgramSnail 2025-12-09 16:39:47 +03:00
• f770620742 language simplification, original language is moved to the lib_next module ProgramSnail 2025-12-02 19:21:22 +03:00
• b64cf6e9ce basic programs types & type checker part ProgramSnail 2025-12-02 15:45:09 +03:00
• 19b9d3aa56 start with template code https://github.com/Kakadu/OCanren-basic-template ProgramSnail 2025-11-30 00:42:04 +03:00
• f1433eb62d init ProgramSnail 2025-11-29 12:40:43 +03:00