ReadWit | |
1 (Type/Class) | Copilot.Core.Type.Read |
2 (Data Constructor) | Copilot.Core.Type.Read |
readWit | Copilot.Core.Type.Read |
readWithType | Copilot.Core.Type.Read |
Recip | Copilot.Core.Operators, Copilot.Core |
Refl | Copilot.Core.Type.Equality |
refl | Copilot.Core.Type.Equality |
renderAsCSV | Copilot.Core.Interpret.Render |
renderAsTable | Copilot.Core.Interpret.Render |