Enforced dimensional typing system in AST

KabirSamsi · Apr 25, 2024 · 079d5a8 · 079d5a8
1 parent 8c55b4b
commit 079d5a8
Show file tree

Hide file tree

Showing 65 changed files with 32 additions and 615 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1 +1,13 @@
-_build
+_build/*
+*.cmo
+*.cma
+*.cmi
+*.out
+*.cmx
+*.native
+*.byte
+*.coverage
+_build
+_coverage
+*.swp
+.DS_Store
diff --git a/KLaTsL.opam b/KLaTsL.opam
@@ -1,8 +1,8 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-synopsis: "LinAlg Interpreter!"
+synopsis: "A functional and typed language targeted at linear algebra"
 description:
-  "Linear algebra language interpreter and typesetting framework allowing to write, typeset and create programs to solve linear algebra problems and compile solutions to LaTeX."
+  "A functional, typed & interpreted language focused on linear algebra, KLaTsL introduces an elegant type system and syntax featuring matrix comprehensions & factorizations, typed transformations, dimensional typing and more."
 maintainer: ["Kabir Samsi"]
 authors: ["Kabir Samsi"]
 license: "LICENSE"

diff --git a/README.MD b/README.MD
@@ -5,5 +5,4 @@
 The intent of the language is to render highly mathematical operations as more mundane operators and in a simple
 computational model In a sense, it's comparable to Numpy or Matlab, but aims to develop a purely functional representation.
 
-Stay posted as I eventually post a demo discussing the semantics and implementation of the language!
-
+Stay posted as I eventually post a demo discussing the semantics and implementation of the language!
diff --git a/_build/.db b/_build/.db
diff --git a/_build/.digest-db b/_build/.digest-db
diff --git a/_build/.filesystem-clock b/_build/.filesystem-clock
diff --git a/_build/.lock b/_build/.lock
diff --git a/_build/default/.dune/configurator b/_build/default/.dune/configurator
diff --git a/_build/default/.dune/configurator.v2 b/_build/default/.dune/configurator.v2
diff --git a/_build/default/KLaTsL.dune-package b/_build/default/KLaTsL.dune-package
diff --git a/_build/default/KLaTsL.opam b/_build/default/KLaTsL.opam
diff --git a/_build/default/META.KLaTsL b/_build/default/META.KLaTsL
diff --git a/_build/default/src/.klatsl.objs/byte/klatsl.cmi b/_build/default/src/.klatsl.objs/byte/klatsl.cmi
diff --git a/_build/default/src/.klatsl.objs/byte/klatsl.cmo b/_build/default/src/.klatsl.objs/byte/klatsl.cmo
diff --git a/_build/default/src/.klatsl.objs/byte/klatsl.cmt b/_build/default/src/.klatsl.objs/byte/klatsl.cmt
diff --git a/_build/default/src/.klatsl.objs/byte/klatsl__Ast.cmi b/_build/default/src/.klatsl.objs/byte/klatsl__Ast.cmi
diff --git a/_build/default/src/.klatsl.objs/byte/klatsl__Ast.cmo b/_build/default/src/.klatsl.objs/byte/klatsl__Ast.cmo
diff --git a/_build/default/src/.klatsl.objs/byte/klatsl__Ast.cmt b/_build/default/src/.klatsl.objs/byte/klatsl__Ast.cmt
diff --git a/_build/default/src/.klatsl.objs/byte/klatsl__Eval.cmi b/_build/default/src/.klatsl.objs/byte/klatsl__Eval.cmi
diff --git a/_build/default/src/.klatsl.objs/byte/klatsl__Eval.cmt b/_build/default/src/.klatsl.objs/byte/klatsl__Eval.cmt
diff --git a/_build/default/src/.klatsl.objs/byte/klatsl__Eval.cmti b/_build/default/src/.klatsl.objs/byte/klatsl__Eval.cmti
diff --git a/_build/default/src/.klatsl.objs/klatsl__Ast.impl.all-deps b/_build/default/src/.klatsl.objs/klatsl__Ast.impl.all-deps
diff --git a/_build/default/src/.klatsl.objs/klatsl__Ast.impl.d b/_build/default/src/.klatsl.objs/klatsl__Ast.impl.d
diff --git a/_build/default/src/.klatsl.objs/klatsl__Eval.impl.all-deps b/_build/default/src/.klatsl.objs/klatsl__Eval.impl.all-deps
diff --git a/_build/default/src/.klatsl.objs/klatsl__Eval.impl.d b/_build/default/src/.klatsl.objs/klatsl__Eval.impl.d
diff --git a/_build/default/src/.klatsl.objs/klatsl__Eval.intf.all-deps b/_build/default/src/.klatsl.objs/klatsl__Eval.intf.all-deps
diff --git a/_build/default/src/.klatsl.objs/klatsl__Eval.intf.d b/_build/default/src/.klatsl.objs/klatsl__Eval.intf.d
diff --git a/_build/default/src/.klatsl.objs/native/klatsl.cmx b/_build/default/src/.klatsl.objs/native/klatsl.cmx
diff --git a/_build/default/src/.klatsl.objs/native/klatsl.o b/_build/default/src/.klatsl.objs/native/klatsl.o
diff --git a/_build/default/src/.klatsl.objs/native/klatsl__Ast.cmx b/_build/default/src/.klatsl.objs/native/klatsl__Ast.cmx
diff --git a/_build/default/src/.klatsl.objs/native/klatsl__Ast.o b/_build/default/src/.klatsl.objs/native/klatsl__Ast.o
diff --git a/_build/default/src/.merlin-conf/lib-KLaTsL b/_build/default/src/.merlin-conf/lib-KLaTsL
diff --git a/_build/default/src/ast.ml b/_build/default/src/ast.ml