search

antitypical / Manifold

An implementation of a dependently-typed intermediate language used by Tesseract.
MIT License
30 stars 0 forks source link

REPL harness #66

Open robrix opened 9 years ago

robrix commented 9 years ago

This would primarily be for testing/exploration.

A REPL implies a syntax.

robrix commented 8 years ago

I’m not super keen on adding a syntax and a custom REPL. Maybe instead a script which drops one into the Swift REPL w/ Manifold loaded & possibly some shorthand set up?