Automata-based contract programming model. Work in progress.
Written in Agda 2.8.0 using the Agda standard library 2.3.
Read the hyperlinked source.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Automata-based contract programming model. Work in progress.
Written in Agda 2.8.0 using the Agda standard library 2.3.
Read the hyperlinked source.