Skip to content
/ Optix Public

Programming language with algebraic subtyping, in the ML family

License

BSD-3-Clause license
6 stars 1 fork Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

Skyb0rg007/Optix

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

2 Commits

app

app

 
 

prelude

prelude

 
 

src

src

 
 

test

test

 
 

.gitignore

.gitignore

 
 

ChangeLog.md

ChangeLog.md

 
 

LICENSE

LICENSE

 
 

README.md

README.md

 
 

Setup.hs

Setup.hs

 
 

optix-lang.cabal

optix-lang.cabal

 
 

package.yaml

package.yaml

 
 

stack.yaml

stack.yaml

 
 

stack.yaml.lock

stack.yaml.lock

 
 

test.optix

test.optix

 
 

Repository files navigation

optix-lang

About

Programming language with algebraic subtyping, in the ML family

Resources

Readme

License

BSD-3-Clause license
Activity

Stars

6 stars

Watchers

1 watching

Forks

1 fork
Report repository

Releases

No releases published

Packages

No packages published

Languages