rhi/quox
rhi/quox
1
0
Fork 0
Code Issues 15 Pull requests 1 Releases Wiki Activity

Show Quox.Equal.Mode

Browse source
This commit is contained in:
rhiannon morris 2022-04-27 14:56:39 +02:00
parent 7629404097
commit bcd4544692
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/Quox/Equal.idr
View file

@ -10,6 +10,8 @@ import Quox.Error
public export public export
data Mode = Equal | Sub data Mode = Equal | Sub
export %inline Show Mode where show Equal = "Equal"; show Sub = "Sub"
public export public export
data Error data Error
= ClashT Mode (Term d n) (Term d n) = ClashT Mode (Term d n) (Term d n)