Add imperative constructs#22

Open

PietroLami wants to merge 23 commits intomistupv:devfrom

Commits on Feb 27, 2022

add map
Pietro Lami
committed
change map interface
Pietro Lami
committed

Commits on Feb 28, 2022

update
Pietro Lami
committed

Commits on Apr 27, 2022

Update with new map
Pietro Lami
committed

Commits on Apr 28, 2022

minor update
Pietro Lami
committed
minor change
Pietro Lami
committed
minor change
Pietro Lami
committed
minor change
Pietro Lami
committed
Update cauder.erl
PietroLami
authored
Update cauder.erl
PietroLami
authored
Update elvis.config
PietroLami
authored
Update cauder_wx.erl
PietroLami
authored
Update cauder_wx.erl
PietroLami
authored

Commits on May 9, 2023

add case study

Pietro Lami
authored and
Pietro Lami
committed
Create math_server.erl
PietroLami
authored

Commits on May 10, 2023

Commits on Jun 16, 2023

Update README.md
PietroLami
authored

Commits on Jul 11, 2023

Merge branch 'dev' of https://github.com/PietroLami/cauder into dev

Pietro Lami
authored and
Pietro Lami
committed

Commits on Jul 12, 2023

update replay semantics

Pietro Lami
authored and
Pietro Lami
committed
add example

Pietro Lami
authored and
Pietro Lami
committed
remove example

Pietro Lami
authored and
Pietro Lami
committed