Skip to content

Instantly share code, notes, and snippets.

Avatar
🌱
just noodlin'

Max Krieger maxkrieger

🌱
just noodlin'
View GitHub Profile
View .dsl
type Set
type Point
type Map
constructor Singleton : Point p -> Set
function Intersection : Set a * Set b -> Set
function Union : Set a * Set b -> Set
function Subtraction : Set a * Set b -> Set
function CartesianProduct : Set a * Set b -> Set
View .dsl
type Set
type Point
type Map
constructor Singleton : Point p -> Set
function Intersection : Set a * Set b -> Set
function Union : Set a * Set b -> Set
function Subtraction : Set a * Set b -> Set
function CartesianProduct : Set a * Set b -> Set
View input
Here is the "set theory" language:
type Set
type Point
type Map
constructor Singleton : Point p -> Set
function Intersection : Set a * Set b -> Set
function Union : Set a * Set b -> Set
function Subtraction : Set a * Set b -> Set
@maxkrieger
maxkrieger / .dsl
Created Apr 20, 2021
exgraph-example: a trio from https://penrose.ink
View .dsl
type Graph
predicate not : Graph g1
predicate and : Graph g1 * Graph g2
predicate or : Graph g1 * Graph g2
predicate if : Graph g1 * Graph g2
View .dsl
type Set
type Point
type Map
constructor Singleton : Point p -> Set
function Intersection : Set a * Set b -> Set
function Union : Set a * Set b -> Set
function Subtraction : Set a * Set b -> Set
function CartesianProduct : Set a * Set b -> Set
View .dsl
type Set
type Point
type Map
constructor Singleton : Point p -> Set
function Intersection : Set a * Set b -> Set
function Union : Set a * Set b -> Set
function Subtraction : Set a * Set b -> Set
function CartesianProduct : Set a * Set b -> Set
@maxkrieger
maxkrieger / .dsl
Created Mar 29, 2021
Synapse Act 4: a trio from https://penrose.ink
View .dsl
type Set
type Point
type Map
constructor Singleton : Point p -> Set
function Intersection : Set a * Set b -> Set
function Union : Set a * Set b -> Set
function Subtraction : Set a * Set b -> Set
function CartesianProduct : Set a * Set b -> Set