| Name | Last Modified | Size ⇩ |
|---|---|---|
| Parent Directory | - | - |
| Pure$Kind.class | Jul 11, 2022 2:42:40 PM | 1,178 bytes |
| Pure.class | Jul 11, 2022 2:42:40 PM | 543 bytes |
| TerminatesExecution.class | Jul 11, 2022 2:42:40 PM | 485 bytes |
| SideEffectFree.class | Jul 11, 2022 2:42:40 PM | 475 bytes |
| Deterministic.class | Jul 11, 2022 2:42:40 PM | 473 bytes |