|
Failed to load latest commit information. |
|
contrib
|
[Quotes] software, and cats. the internet brings them together often.
|
Feb 3, 2017
|
|
|
diagrams
|
Add a type diagram.
|
Apr 10, 2016
|
|
|
docs
|
montefesto: Indicate what we got done last year.
|
Aug 9, 2018
|
|
|
rfc
|
Write an echo server.
|
May 28, 2017
|
|
|
.gitattributes
|
Make GitHub language stats see that .mt == Monte
|
Feb 27, 2015
|
|
|
.gitignore
|
ignore compiled .mast files and temp/backup files
|
Mar 21, 2016
|
|
|
LICENSE
|
Fix Dan's surname.
|
Apr 22, 2016
|
|
|
README.md
|
This is now a documentation repository for the Monte language.
|
Dec 12, 2015
|
|
|
requirements.txt
|
Attempting to convince RTD to use a new Pygments.
|
Dec 16, 2016
|
|
|
setup.py
|
I think RTD needs a setup.py?
|
Jun 12, 2018
|
|
|
shell.nix
|
docs/block-expr: Fix some object definitions.
|
Nov 24, 2017
|
|
|
todo.org
|
more tasks
|
May 27, 2014
|