Skip to content

Instantly share code, notes, and snippets.

@maxkrieger
maxkrieger / .dsl
Created March 25, 2021 06:29
Synapse Act 5: a trio from https://penrose.ink
type Synapse
type Channel
type Vesicle
type Glutamate
type Calcium
type NMDAR
type AMPAR
predicate InsideVesicle : Glutamate g * Vesicle v
@maxkrieger
maxkrieger / .dsl
Created March 25, 2021 06:28
Synapse Act 4: a trio from https://penrose.ink
type Synapse
type Channel
type Vesicle
type Glutamate
type Calcium
type NMDAR
type AMPAR
predicate InsideVesicle : Glutamate g * Vesicle v
@maxkrieger
maxkrieger / .dsl
Created March 25, 2021 06:27
Synapse Act 3: a trio from https://penrose.ink
type Synapse
type Channel
type Vesicle
type Glutamate
type Calcium
type NMDAR
type AMPAR
predicate InsideVesicle : Glutamate g * Vesicle v
@maxkrieger
maxkrieger / .dsl
Created March 25, 2021 06:26
Synapse Act 2: a trio from https://penrose.ink
type Synapse
type Channel
type Vesicle
type Glutamate
type Calcium
type NMDAR
type AMPAR
predicate InsideVesicle : Glutamate g * Vesicle v
@maxkrieger
maxkrieger / .dsl
Created March 25, 2021 06:25
Synapse Act 1.5: a trio from https://penrose.ink
type Synapse
type Channel
type Vesicle
type Glutamate
type Calcium
type NMDAR
type AMPAR
predicate InsideVesicle : Glutamate g * Vesicle v
@maxkrieger
maxkrieger / .dsl
Created March 25, 2021 06:23
Synapse Act 1: a trio from https://penrose.ink
type Synapse
type Channel
type Vesicle
type Glutamate
type Calcium
type NMDAR
type AMPAR
predicate InsideVesicle : Glutamate g * Vesicle v
@maxkrieger
maxkrieger / .dsl
Created March 25, 2021 06:09
Synapse: a trio from https://penrose.ink
type Synapse
type Channel
type Vesicle
type Glutamate
type Calcium
type NMDAR
type AMPAR
predicate InsideVesicle : Glutamate g * Vesicle v
@maxkrieger
maxkrieger / .dsl
Created March 25, 2021 05:57
Synapse: a trio from https://penrose.ink
type Synapse
type Channel
type Vesicle
type Glutamate
type Calcium
type NMDAR
type AMPAR
predicate InsideVesicle : Glutamate g * Vesicle v
@maxkrieger
maxkrieger / .dsl
Created March 25, 2021 05:54
Synapse: a trio from https://penrose.ink
type Synapse
type Channel
type Vesicle
type Glutamate
type Calcium
type NMDAR
type AMPAR
predicate InsideVesicle : Glutamate g * Vesicle v
@maxkrieger
maxkrieger / .dsl
Created March 25, 2021 05:52
Synapse: a trio from https://penrose.ink
type Synapse
type Channel
type Vesicle
type Glutamate
type Calcium
type NMDAR
type AMPAR
predicate InsideVesicle : Glutamate g * Vesicle v