Página Principal Explorar Ajuda
Iniciar Sessão
swf-projects
/
LARCS
2
0
Fork 0
Ficheiros Problemas 0 Pull Requests 0 Wiki

Sem descrição

Árvore: 4e0d92dcb8
Ramos Etiquetas
LARCS
ZIP TAR.GZ
Samuel W. Flint 4e0d92dcb8 Wrote Logarithmic types há 5 anos atrás
img a4a866e916 Always keep img around há 5 anos atrás
.gitignore a4a866e916 Always keep img around há 5 anos atrás
.gitlab-ci.yml ed48227e6f Added a PDF generator há 8 anos atrás
README.md fc70670d14 Hopefully fixed a readme issue há 8 anos atrás
larcs-gui.org f6f240b975 Fixed tangling há 6 anos atrás
larcs-tui.org f6f240b975 Fixed tangling há 6 anos atrás
larcs.org 4e0d92dcb8 Wrote Logarithmic types há 5 anos atrás
larcs.org_archive 006828b321 Moved some files to new, more appropriate names há 8 anos atrás
license.txt b38b6d27d1 Added a license file há 8 anos atrás
publish.el 56a930173a Updated some things for export há 8 anos atrás

README.md 

 _        _    ____   ____ ____  
| |      / \  |  _ \ / ___/ ___| 
| |     / _ \ | |_) | |   \___ \ 
| |___ / ___ \|  _ <| |___ ___) |
|_____/_/   \_\_| \_\\____|____/

LARCS is the Lisp Automated Rewrite and Calculation System.

The main file is larcs.org, with there being two interfaces, a TUI and a GUI.