idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-11-28 02:23:44 +03:00
Code Issues Projects Releases Wiki Activity

Remove unused fixity declaration

Browse Source 
This conflicts with a used one in `Data.String.Parser`
This commit is contained in:
Zoe Stafford 2023-03-05 10:18:20 +00:00
parent 7972c6acbd
commit dcb66a8757
No known key found for this signature in database
GPG Key ID: B461D9E741A66EB0
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/Compiler/ES/Doc.idr
View File

@ -3,7 +3,6 @@ module Compiler.ES.Doc
import Data.List
infixr 6 <++>
infixl 8 <?>
public export
data Doc