Skip to content

dan-blank/choice-of-bounds

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

25 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

choice-of-bounds

metatheory for choice-of-bounds types

In order to play around with some non-trivial examples, simply run the file "doc/examples.rkt".

About

University project: Implementing a metatheory for choice-of-bounds types

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Racket 100.0%