Index - R
| r | Language.Copilot.Variables |
| randomStreams | Language.Copilot.Tests.Random, Language.Copilot |
| release | Language.Copilot.Libs.LTL, Language.Copilot |
copilot-0.21: A lazy-list language for generating constant-time and constant-space C programs. Uses Atom as a backend.