###########
# Configure
###########
# Download and extract agda libraries here, like the standard library or PLFA
AGDA_LIB_PATH=~"/.local/share/agda-libs"
AGDA_CONFIG_PATH=~"/.config/agda"
Sidd Singal siddthesquid
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
| import { Context, Effect, Layer, pipe } from "effect" | |
| export interface ConsoleService { | |
| readonly log: (msg: string) => Effect.Effect<never, never, void> | |
| } | |
| export const ConsoleService = Context.Tag<ConsoleService>() | |
| export const ConsoleLive = Layer.fromEffect(ConsoleService)( | |
| Effect.sync(() => ({ |
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
| panic: runtime error: invalid memory address or nil pointer dereference | |
| [signal SIGSEGV: segmentation violation code=0x1 addr=0x50 pc=0x767a60] | |
| goroutine 84 [running]: | |
| github.com/onflow/cadence/runtime/ast.(*CompositeDeclaration).DeclarationMembers(0x7f8d74387cd0) | |
| github.com/onflow/cadence@v0.23.2/runtime/ast/composite.go:69 | |
| github.com/onflow/cadence/languageserver/server.(*Server).convertError.func3(0x1bac2c0, 0x0) | |
| github.com/onflow/cadence/languageserver@v0.18.3-0.20220202133308-207188a51831/server/server.go:2208 +0x53 | |
| github.com/onflow/cadence/languageserver/server.(*Server).maybeAddDeclarationActionsResolver.func1() | |
| github.com/onflow/cadence/languageserver@v0.18.3-0.20220202133308-207188a51831/server/server.go:2630 +0x3ac |
siddthesquid
/ pubkey
Last active
October 27, 2019 13:58
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
| { | |
| "ignition": { | |
| "config": {}, | |
| "timeouts": {}, | |
| "version": "2.3.0" | |
| }, | |
| "networkd": {}, | |
| "passwd": { | |
| "users": [ | |
| { |