Morte IDE
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
agda [Agda] Parametrized holes Feb 15, 2016
lib Use margins for layout (WIP - no selection padding) Sep 16, 2018
src Use margins for layout (WIP - no selection padding) Sep 16, 2018
.gitignore
.travis.yml Build with 'cabal' (#4) Jul 6, 2018
README.md Build with 'cabal' (#4) Jul 6, 2018
Setup.hs
cabal.project Use margins for layout (WIP - no selection padding) Sep 16, 2018
cabal.project.freeze Update dependencies Jul 13, 2018
foundry.cabal Update dependencies Jul 13, 2018
shell.nix

README.md

Godsmen Foundry

Build Status

Godsmen Foundry is a Morte IDE based on Source.

Implementation status:

  • rendering expressions
  • basic navigation
  • editing expressions
  • interactive evaluation
  • auto-completion
  • local storage
  • browsing Sigil

sigil.place/tutorial/morte/1.2/even Rendering Morte

Getting Started

$ nix-shell --pure
$ cabal new-run exe:foundry