Rheidner Achiles

stack overflow when dropping big nested term

1

When evaluating a big term (term with too many nested terms) like this one ``` ctr {Succ p} ctr {Zero} fun (ToSucc n) { (ToSucc #0) = {Zero} (ToSucc n)...

Cyclic functions are impossible because of arity check

3

Functions like (any cyclic set of functions) ``` A call B B call C C call A ``` Are currently impossible to do because of the arity check (which checks...

move cli integration tests to the reserved integration folder

1

also removes the need of executing `cargo run` on cli tests (when runned in parallel, the tests usually blocked each other because of this), by using `assert_cmd` library, that runs...

2 bits for serialization of statement tag

1

Decreases serialization of statement type in 2 bits

Parser lhs

2

This PR: - parse lhs in `Rule` structure as a `Vec` (only the args of rules are parsed now) - raises error if rule name is different of function name...

This IO allows users emit (or log) events of its own interest It follows the description provided in #183; closes #183

Question: What would be the best way to write a "pop_statistic" to a nakama relay server?

1

If you're using godot multiplayer the "standard" way, you will use a ENetMultiplayerPeer in an ENetConnection. With this you can create ``` func get_received_data(): var enet_connection = multiplayer.multiplayer_peer.host var data_received...