Skip to content
Functional teaching language for use in a discrete mathematics course
Haskell TeX Agda Other
Branch: master
Clone or download
Pull request Compare This branch is 646 commits behind disco-lang:master.
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
docs
error-examples
example
explore
multirec-test
nsf
ott
reference
repl
src/Disco
test
.gitignore
.travis.yml
LICENSE
README.md
Setup.hs
build
disco.cabal
notes.org
parsing.org
stack.yaml

README.md

Build Status

Prototype implementation of a small functional teaching language for use in a discrete mathematics course.

Design principles:

  • Includes those features, and only those features, useful in the context of a discrete math course. This is not intended to be a general-purpose language.
  • Syntax is as close to standard mathematical practice as possible, to make it easier for mathematicians to pick up, and to reduce as much as possible the incongruity between the language and the mathematics being explored and modeled.
  • Tooling, error messages, etc. are very important---the language needs to be accessible to undergrads with no prior programming experience. (However, this principle is, as of yet, only that---there is no tooling or nice error messages to speak of.)

Feel free to look around, ask questions, etc. You can even contribute some code if you like---collaborators are most welcome. However, note that no guarantees are made about anything in particular at the moment.

Building

First, make sure you have the stack tool. Then at a command prompt, execute

stack build

After this completes, you should be able to

stack exec disco

to run the Disco command-line REPL.

While developing, you may want to use a command like

stack build --fast --file-watch --ghc-options='-Wall'

which will turn on warnings, turn off optimizations for a faster edit-compile-test cycle, and automatically recompile every time a source file changes.

You can’t perform that action at this time.