issues
search
austral
/
austral.github.io
The website for the Austral programming language.
https://austral-lang.org/
5
stars
12
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Spec: document instance definitions
#17
eudoxia0
closed
2 years ago
0
Spec: document the instance coherence rule
#16
eudoxia0
closed
2 years ago
0
Spec: document instance declarations
#15
eudoxia0
closed
2 years ago
0
Spec: document typeclass definitions
#14
eudoxia0
closed
2 years ago
0
Spec: document function definitions
#13
eudoxia0
closed
2 years ago
0
Spec: document function declarations
#12
eudoxia0
closed
2 years ago
0
Spec: document the contents of the Austral.Memory module
#11
eudoxia0
closed
2 years ago
0
Spec: document the contents of the Austral.Pervasive module
#10
eudoxia0
closed
2 years ago
0
Spec: describe the semantics of paths
#9
eudoxia0
closed
2 years ago
0
Spec: describe the FFI
#8
eudoxia0
closed
2 years ago
0
Spec: describe expressions
#7
eudoxia0
closed
2 years ago
0
Spec: describe the syntax of paths
#6
eudoxia0
closed
2 years ago
0
Spec: rewrite type system section
#5
eudoxia0
closed
2 years ago
0
Add CSS for tables
#4
eudoxia0
closed
2 years ago
0
Spec: update syntax description to match the Menhir definition
#3
eudoxia0
opened
2 years ago
0
Spec: rewrite rationale for resource types
#2
eudoxia0
closed
2 years ago
0
Spec: clean up the rationale for error handling
#1
eudoxia0
closed
2 years ago
0
Previous