Skip to content

alanz/proxima-generic

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

proxima-generic

Generic part of the Proxima system, to be imported as a git submodule in each editor instance (in $EDITORINSTANCE/src/proxima).

About

Generic part of the Proxima system

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Haskell 93.9%
  • TeX 2.9%
  • Shell 2.1%
  • Other 1.1%