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

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 - M

makeLimits	Proof.Assistant.ResourceLimit
makeResourceLimits	Proof.Assistant.ResourceLimit
makeTelegramResponse	Proof.Assistant.Response
makeVersion	Proof.Assistant.Version
matchSupported
1 (Function)	Idris.Interaction.Command
2 (Function)	Agda.Interaction.Command
Meta	Agda.Interaction.Command
metaParseExpr	Agda.Interaction.Command.Internal.Parser
Model	Proof.Assistant.Bot