issues
search
Keno
/
InterfaceSpecs.jl
Playground for formal specifications of interfaces in Julia
MIT License
58
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Integration with Supposition.jl?
#9
jariji
opened
4 months ago
0
Bump
#8
jariji
opened
4 months ago
0
Add syntax highlighting
#7
ShalokShalom
closed
1 year ago
0
QuickSpec
#6
jariji
opened
1 year ago
0
`check` return success/failure values rather than throwing error
#5
jariji
opened
1 year ago
2
Take ideas from Racket
#4
jariji
opened
1 year ago
2
Steal some ideas from Clojure
#3
Keno
opened
1 year ago
0
Add very basic support for properties (getproperty, setproperty!)
#2
zot
closed
1 year ago
3
Too many macros
#1
chakravala
closed
1 year ago
1