Index
| effective | Data.Karakuri |
| Karakuri | |
| 1 (Type/Class) | Data.Karakuri |
| 2 (Data Constructor) | Data.Karakuri |
| Karakuri' | Data.Karakuri |
| stateful | Data.Karakuri |
| stateful' | Data.Karakuri |
| step | Data.Karakuri |
| transKarakuri | Data.Karakuri |
karakuri-0.1: Good stateful automata
Index
| effective | Data.Karakuri |
| Karakuri | |
| 1 (Type/Class) | Data.Karakuri |
| 2 (Data Constructor) | Data.Karakuri |
| Karakuri' | Data.Karakuri |
| stateful | Data.Karakuri |
| stateful' | Data.Karakuri |
| step | Data.Karakuri |
| transKarakuri | Data.Karakuri |