This repository was archived by the owner on Sep 3, 2025. It is now read-only.
File tree Expand file tree Collapse file tree 1 file changed +24
-24
lines changed
Expand file tree Collapse file tree 1 file changed +24
-24
lines changed Original file line number Diff line number Diff line change @@ -14,50 +14,50 @@ We implement it as a term rewriting system.
1414
1515## Components
1616
17- - [ Back end] ( ./back/ )
18- - [ Front end] ( ./front/ )
19- - [ EO editor] ( https://github.com/deemp/ eo-editor)
20- - [ Phi editor] ( https://github.com/deemp/ phi-editor)
17+ - [ Back end] ( ./back#readme )
18+ - [ Front end] ( ./front#readme )
19+ - [ EO editor] ( ./ eo-editor#readme )
20+ - [ Phi editor] ( ./ phi-editor#readme )
2121
2222## Quick start
2323
24241 . [ Install Nix] ( https://github.com/deemp/flakes/blob/main/README/InstallNix.md )
2525
26261 . Enter the repo.
2727
28- ``` sh
29- git clone https://github.com/objectionary/try-phi
30- cd try-phi
31- ```
28+ ``` sh
29+ git clone https://github.com/objectionary/try-phi
30+ cd try-phi
31+ ```
3232
33331. Run ` back end` and ` front end` in separate terminals.
3434
35- ``` console
36- nix run .#back
37- nix run .#front
38- ```
35+ ` ` ` console
36+ nix run .# back
37+ nix run .#front
38+ ` ` `
3939
4040# # Development
4141
42421. Allow ` direnv` in flake folders.
4343
44- ``` sh
45- direnv allow
46- (cd front && direnv allow)
47- (cd back && direnv allow && stack build )
48- ```
44+ ` ` ` sh
45+ direnv allow
46+ (cd front && direnv allow)
47+ (cd back && direnv allow)
48+ ` ` `
4949
50501. Start a deshell.
5151
52- ``` console
53- nix develop
54- ```
52+ ` ` ` console
53+ nix develop
54+ ` ` `
5555
56561. (Optionally) Start ` VSCodium` .
5757
58- ``` console
59- nix run .#writeSettings
60- nix run .#codium .
61- ```
58+ ` ` ` console
59+ nix run .# writeSettings
60+ nix run .#codium .
61+ ` ` `
6262
63631. In a ` .hs` file, hover over a function. ` HLS` should start giving the type info soon.
You can’t perform that action at this time.
0 commit comments