LoreonLabsPlatform
DocsHome
  • Overview

Intelligence

  • Markets
  • Builders
  • Research
  • Ecosystems
  • Launchpads
  • Search
Ecosystems

Standard ML

twelf

The Twelf Programming Language (mirror of SVN repository)

Standard MLEmerging
GitHubWebsite
Stars
—
Forks
1
Contributors
8
Last push
19d ago

Recent commits

Latest commits.

  • add travis
    d9af9eaRob Simmons146mo ago
  • Transfer Mlton build over to mlb files, as they've been asking us to do for years and now insist on.
    35216e7Rob Simmons156mo ago
  • Merge pull request #2 from namin/unique-fix
    bab49c2Robert J. Simmons156mo ago
  • add test case, but how to auto-test failures?
    b837506Nada Amin156mo ago
  • Exclude unifying outputs in coverage checker.
    5fa8871Nada Amin156mo ago
Merge pull request #1 from cangiuli/patch-1
22b7d3fRobert J. Simmons159mo ago
  • Update vim/syntax/twelf.vim
    c4a00d5Carlo Angiuli164mo ago
  • Kill all tabs (thanks Sully)
    888fc03Rob Simmons173mo ago

    • Top contributors

    Builders behind this project.

    frankpfenning
    263 commits
    carstenschuermann
    241 commits
    pientka
    104 commits
    robsimmons
    95 commits
    cdrichards
    62 commits
    seanmcl
    32 commits
    kevinwatkins
    22 commits
    jcreedcmu
    19 commits