This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| https://github.com/protongraph/protongraph |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Oracel Free Tier | |
| https://netboot.xyz/ |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Nix Container |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| https://godotshaders.com/ |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| "fsharp": { | |
| "command": ["fsautocomplete", "--adaptive-lsp-server-enabled"], | |
| "rootIndicationFileNames": [".fsproj"], | |
| "url": "https://github.com/fsharp/FsAutoComplete", | |
| "highlightingModeRegex": "^F#$" |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| [buildPlans.iosevka-custom] | |
| family = "Iosevka Custom" | |
| spacing = "normal" | |
| serifs = "slab" | |
| no-cv-ss = true | |
| export-glyph-names = false | |
| [buildPlans.iosevka-custom.variants.design] | |
| capital-g = "toothless-corner-inward-serifed-capped" | |
| capital-i = "serifed" |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // The following example shows an effect of auto-currying in fsharp. | |
| let add x y = x + y | |
| let substract x y = x - y | |
| // So that could look like a totally viable definition to you. | |
| // We define an add, and a substract function for later use. | |
| // But now watch. | |
| let calculate = |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| [Error - 5:41:59 PM] Request textDocument/documentHighlight failed. | |
| Message: No symbol information found | |
| Code: -32603 | |
| [Error - 5:42:01 PM] Request textDocument/documentHighlight failed. | |
| Message: No symbol information found | |
| Code: -32603 | |
| [Error - 5:43:30 PM] Request textDocument/documentHighlight failed. | |
| Message: No symbol information found | |
| Code: -32603 | |
| [17:48:58.784 ERR] [LSP] PositionHandler - Getting file checker options for /home/garuda/shell.fsx failed |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Global type inference | |
| Crystal - Not a HindleyMilner. Specification: https://github.com/crystal-lang/crystal/issues/2390 | |
| Elm ¹ | |
| Erg | |
| F# | |
| F* ² | |
| Gleam | |
| Gluon | |
| Grain |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 2DAssets |