bog pushed to main at bog/sine-patre
- 116dd25881 ⚡ prune useless facts when solving.
- 0bcd25c693 ⚡ update only look at previous facts iteration.
- d44b14e159 ⚡ predicate indexing before pattern matching.
- Compare 3 commits »
bog pushed to main at bog/sine-patre
- 6a4c31d401 🐛 used to produce useless facts and rules.
bog pushed to main at bog/sine-patre
- bfd64b20b6 ✨ forward chaining v0.
- fb41410797 ✨ formula to CNF converter.
- Compare 2 commits »
bog pushed to main at bog/sine-patre
- badb08ec05 ✨ parser for formula.
- 5cecb1f1ed 🎉 ✨ lexer for formula.
- Compare 2 commits »
bog created repository bog/sine-patre
bog
renamed repository from sine-patre
to bog/sine-patre-old
bog pushed to main at jams/ld55
- fbf2657995 DONT JUDGE ME
- 838de303e4 🎉 ✨ a terrible game.
- Compare 2 commits »
bog pushed to main at bog/skopy
- 2f73e3a0ca 🐛 closures and module import repared.
- 6e6534acbd 🚧 big refactoring of local vars indexes.
- Compare 2 commits »
bog pushed to main at bog/skopy
- b5f0713fee ✨ improved println 🎨 better global support 🐛 string duplication with clone.
- 88aad1ee75 ✨ native functions.
- Compare 2 commits »
bog created repository jams/prelude-dare-55
bog pushed to main at bog/skopy
- 06b379c99c ✨ syntaxic sugar for function declaration.
bog pushed to main at bog/skopy
- 603dc6f53a 🐛 closure capture and local variables collisions.
bog created repository nightjam/nj0