Skip to content

Instantly share code, notes, and snippets.

View prepor's full-sized avatar

Andrew Rudenko prepor

161 followers · 20 following
View GitHub Profile
@prepor
prepor / oam.k
Created February 16, 2018 13:46
module OAM-SYNTAX
syntax Ints ::= List{Int,","}
syntax Op ::= "#parallel" Int Int
| "#otherwise" Int Int
| "#pruning" Int Int Int
| "#sequential" Int Int Int
| "#callFun" Int "[" Ints "]"
| "#callDynamic" Int "[" Ints "]"
| "#ffi" Int "[" Ints "]"
| "#coeffect" Int
@prepor
prepor / oam.k
Created February 16, 2018 13:41
module OAM-SYNTAX
syntax Ints ::= List{Int,","}
syntax Op ::= "#parallel" Int Int
| "#otherwise" Int Int
| "#pruning" Int Int Int
| "#sequential" Int Int Int
| "#callFun" Int "[" Ints "]"
| "#callDynamic" Int "[" Ints "]"
| "#ffi" Int "[" Ints "]"
| "#coeffect" Int
@prepor
prepor / oam.k
Created February 13, 2018 14:13
module OAM-SYNTAX
syntax Ints ::= List{Int,","}
syntax Op ::= "#parallel" Int Int
| "#otherwise" Int Int
| "#pruning" Int Int Int
| "#sequential" Int Int Int
| "#callFun" Int "[" Ints "]"
| "#callDynamic" Int "[" Ints "]"
| "#ffi" Int "[" Ints "]"
| "#coeffect" Int
@prepor
prepor / *.rust
Created February 9, 2018 15:59
enum Bar {
One(String),
Two(String)
}
struct Foo {
bars: Vec<Bar>
}
impl Foo {
@prepor
prepor / *.rust
Created February 9, 2018 15:56
enum Bar {
One(String),
Two(String)
}
struct Foo {
bars: Vec<Bar>
}
impl Foo {
@prepor
prepor / oam.k
Created February 6, 2018 16:21
module OAM-SYNTAX
syntax Ints ::= List{Int,","}
syntax Op ::= "#parallel" Int Int
| "#otherwise" Int Int
| "#pruning" Int Int Int
| "#sequential" Int Int Int
| "#callFun" Int "[" Ints "]"
| "#callDynamic" Int "[" Ints "]"
| "#ffi" Int
| "#coeffect" Int
@prepor
prepor / oam.k
Created February 6, 2018 14:13
module OAM-SYNTAX
syntax Ints ::= List{Int,","}
syntax Op ::= "#parallel" Int Int
| "#otherwise" Int Int
| "#pruning" Int Int Int
| "#sequential" Int Int Int
| "#callFun" Int "[" Ints "]"
| "#callDynamic" Int "[" Ints "]"
| "#ffi" Int
| "#coeffect" Int
@prepor
prepor / oam.k
Created February 6, 2018 14:12
module OAM-SYNTAX
syntax Ints ::= List{Int,","}
syntax Op ::= "#parallel" Int Int
| "#otherwise" Int Int
| "#pruning" Int Int Int
| "#sequential" Int Int Int
| "#callFun" Int "[" Ints "]"
| "#callDynamic" Int "[" Ints "]"
| "#ffi" Int
| "#coeffect" Int
@prepor
prepor / oam.k
Created February 6, 2018 13:24
module OAM-SYNTAX
syntax Ints ::= List{Int,","}
syntax Op ::= "#parallel" Int Int
| "#otherwise" Int Int
| "#pruning" Int Int Int
| "#sequential" Int Int Int
| "#callFun" Int "[" Ints "]"
| "#callDynamic" Int "[" Ints "]"
| "#ffi" Int
| "#coeffect" Int
@prepor
prepor / t.orcc
Created February 6, 2018 13:18
0 2 {
0: #constInt 1
1: #constInt 2
2: #parallel 0 1
}
1 0 {
0: #constInt 1
}