Skip to content

Commit

Permalink
prettier and rename nodmodule to package
Browse files Browse the repository at this point in the history
  • Loading branch information
robsimmons committed Nov 24, 2023
1 parent 7618cc9 commit 93b0256
Show file tree
Hide file tree
Showing 3 changed files with 8 additions and 2 deletions.
2 changes: 1 addition & 1 deletion package.json
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@
"build": "tsc && vite build",
"coverage": "vitest run --coverage",
"dev": "vite",
"lib": "tsc --project tsconfig.nodemodule.json",
"lib": "tsc --project tsconfig.package.json",
"lint": "eslint . --ext ts,tsx --report-unused-disable-directives --max-warnings 0",
"prettier": "prettier --write *.ts *.json *.html *.md **/*.ts* **/*.json **/*.css **/*.html **/*.md",
"prettier:check": "prettier --check .",
Expand Down
8 changes: 7 additions & 1 deletion src/language/syntax.ts
Original file line number Diff line number Diff line change
@@ -1,6 +1,12 @@
import { Issue } from '../parsing/parser.js';
import { SourceLocation } from '../parsing/source-location.js';
import { ParsedPattern, Pattern, freeParsedVars, repeatedWildcards, termToString } from './terms.js';
import {
ParsedPattern,
Pattern,
freeParsedVars,
repeatedWildcards,
termToString,
} from './terms.js';

export interface Proposition {
type: 'Proposition';
Expand Down
File renamed without changes.

0 comments on commit 93b0256

Please sign in to comment.