|
Failed to load latest commit information. |
|
examples
|
Cofaces!
|
Oct 5, 2016
|
|
|
opetopic-addrexplorer/src/main/scala/opetopic/js/addrexplorer
|
Address explorer
|
Mar 17, 2017
|
|
|
opetopic-coloredit/src/main/scala/opetopic/js/coloredit
|
Color editor. Bug fixes for coloring algorithm
|
Sep 4, 2016
|
|
|
opetopic-core/src/main/scala/opetopic
|
creating of hom and app exprs
|
Oct 4, 2019
|
|
|
opetopic-docs/src/main/scala/opetopic/js/docs
|
Tutorial. Skethpad layout. Render addresses.
|
Feb 10, 2017
|
|
|
opetopic-js/src/main/scala/opetopic/js
|
creating of hom and app exprs
|
Oct 4, 2019
|
|
|
opetopic-lambda/src/main/scala/opetopic/lambda
|
save cells to environment
|
Oct 4, 2019
|
|
|
opetopic-mtt/src/main/scala/opetopic/mtt
|
Add mtt skeleton
|
Aug 30, 2017
|
|
|
opetopic-multiedit/src/main/scala/opetopic/js/multiedit
|
Color editor. Bug fixes for coloring algorithm
|
Sep 4, 2016
|
|
|
opetopic-play
|
paste variables to the editor
|
Oct 4, 2019
|
|
|
opetopic-prover/src/main/scala/opetopic/js/prover
|
Add tutorial slides
|
Dec 2, 2016
|
|
|
opetopic-sketchpad/src/main/scala/opetopic/js/sketchpad
|
starting new editor layout and consolidation
|
May 25, 2019
|
|
|
opetopic-studio/src/main/scala/opetopic/studio
|
basic editing
|
Oct 4, 2019
|
|
|
opetopic-tt
|
Cofaces!
|
Oct 5, 2016
|
|
|
project
|
Migrate to Play 2.6
|
Jun 9, 2018
|
|
|
.gitignore
|
Parsing seems to work
|
Sep 29, 2016
|
|
|
README.md
|
Correct link syntax.
|
May 2, 2016
|
|
|
app.json
|
Setup for deployment
|
Apr 11, 2016
|
|
|
build.sbt
|
simple marker is no longer a case class
|
Oct 4, 2019
|