Skip to content

๐Ÿ“š A library for managing libraries and resolving unit paths

License

Notifications You must be signed in to change notification settings

RedPRL/bantorra

Folders and files

NameName
Last commit message
Last commit date

Latest commit

ย 

History

73 Commits
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 

Repository files navigation

๐Ÿ“š bantorra: Library Management ๐Ÿ”–

bantorra is an OCaml package for loading user libraries and resolving unit paths into file paths. The design is informed by proof assistants based on dependent type theory, where it is common to work with source code directly. Check out the project website for more information.

Installation

You need OCaml 5.0 or newer. You can check out the source repository and install the latest version in development:

git clone https://github.com/RedPRL/bantorra.git
opam install ./bantorra