Skip to content

mathias-sm/LanguageOfGeometry

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

81 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

A Proposal for a Language Of Geometry

Stuff will be written here someday. In the meantime, check out the code folder, and its "whitePaper.md", to get a rough idea of what is going on.

Otherwise, I should keep a fairly up to date version here

What you need to build this

Mainly:

  • ocaml

  • opam, and then you can install opam install ocamlbuild ocamlfind lwt.2.7.1 js_of_ocaml js_of_ocaml-ocamlbuild js_of_ocaml-camlp4 menhir camlimages uutf otfm js_of_ocaml cairo2 vg and you're good to go

  • I would also recommend installing core and merlin if you plan to edit files.

  • pandoc - Note that a recent enough version is required as I'm using the recently added --syntax-definition= option.