proof-assistant-bot-0.2.1: Telegram bot for proof assistants (Index - I)

proof-assistant-bot-0.2.1: Telegram bot for proof assistants

A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W
$
All

Index - I

Idris	Proof.Assistant.Bot
idris	Proof.Assistant.Transport
IdrisCommand	Idris.Interaction.Command
IdrisSettings
1 (Type/Class)	Proof.Assistant.Settings
2 (Data Constructor)	Proof.Assistant.Settings
input	Proof.Assistant.State
InternalInterpreterSettings
1 (Type/Class)	Proof.Assistant.Settings
2 (Data Constructor)	Proof.Assistant.Settings
InternalState	Proof.Assistant.Transport
interpretAgda	Proof.Assistant.Agda
Interpreter	Proof.Assistant.Interpreter
InterpreterRequest
1 (Type/Class)	Proof.Assistant.Request
2 (Data Constructor)	Proof.Assistant.Request
interpreterRequestMessage	Proof.Assistant.Request
interpreterRequestTelegramChatId	Proof.Assistant.Request
interpreterRequestTelegramMessageId	Proof.Assistant.Request
InterpreterResponse
1 (Type/Class)	Proof.Assistant.Response
2 (Data Constructor)	Proof.Assistant.Response
interpreterResponseResponse	Proof.Assistant.Response
interpreterResponseTelegramChatId	Proof.Assistant.Response
interpreterResponseTelegramMessageId	Proof.Assistant.Response
Interpreters
1 (Type/Class)	Proof.Assistant.Transport
2 (Data Constructor)	Proof.Assistant.Transport
interpreters	Proof.Assistant.Transport
InterpretersSettings
1 (Type/Class)	Proof.Assistant.Settings
2 (Data Constructor)	Proof.Assistant.Settings
InterpreterState
1 (Type/Class)	Proof.Assistant.State
2 (Data Constructor)	Proof.Assistant.State
interpreterState	Agda.Interaction.State
interpretSafe	Proof.Assistant.Interpreter