search

leanprover / vscode-lean4

Visual Studio Code extension for the Lean 4 proof assistant
Apache License 2.0
158 stars 48 forks source link

fix: [lean4web] replace require-style imports #504

Open abentkamp opened 2 months ago

abentkamp commented 2 months ago

This PR replaces

import path = require('path')

by

import path from 'path'

in a couple of files.