issues
search
zilch-lang
/
specification
A complete specification on Zilch and N⋆
BSD 3-Clause "New" or "Revised" License
10
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Insert new N⋆ instructions
#14
Mesabloo
closed
1 year ago
0
The Foreign Function Interface
#13
Mesabloo
opened
2 years ago
0
Describe module semantics and grammar
#12
Mesabloo
closed
2 years ago
0
Anonymous functions
#11
Mesabloo
closed
2 years ago
0
Basic data types and values
#10
Mesabloo
closed
2 years ago
0
Type classes and named implementations
#9
Mesabloo
opened
2 years ago
0
Records, polyvariants and row types in Zilch
#8
Mesabloo
closed
2 years ago
0
Formally verify the type systems of Zilch and N⋆
#7
Mesabloo
opened
2 years ago
0
Up-to-dateness issue: both languages evolve quite fast
#6
Mesabloo
opened
2 years ago
0
Type grammars in Zilch
#5
Mesabloo
closed
2 years ago
0
Algebraic effect constructs for Zilch
#4
Mesabloo
opened
2 years ago
1
Describe grammar and inference rules for capabilities
#3
Mesabloo
closed
2 years ago
0
Write a specification for the whole project
#2
Mesabloo
opened
3 years ago
1
How to write a technical report?
#1
Mesabloo
closed
3 years ago
0