fix highlighting

This commit is contained in:
Art 2023-01-13 23:56:44 +01:00
parent a87658843e
commit 966e0bee91
Signed by: prod2
GPG Key ID: F3BB5A97A70A8DDE
3 changed files with 4 additions and 0 deletions

1
.gitattributes vendored Normal file
View File

@ -0,0 +1 @@
*.fs linguist-language=FSharp

2
.gitignore vendored
View File

@ -1,2 +1,4 @@
bin/
obj/
.fake

View File

@ -109,6 +109,7 @@ let efactor = choice [
enegate
]
// term
let ptermop = pplus <|> pminus