vid/bin/ghci.cmd

4 lines
121 B
Batchfile
Raw Permalink Normal View History

2022-03-22 17:42:13 +08:00
@echo off
where ghci.exe >nul 2>nul
if errorlevel 1 call choco install ghc -y & call %~dp0\v-choco-refreshenv
2022-03-04 19:35:47 +08:00
ghci.exe %*