Solomon

We should be able to write bot skills in arbitrary languages.

Adds a repl

1

Launching the repl ``` ➜ cabal run kriti-repl Kriti Lang, version 0.3.2: github.com/hasura/kriti-lang/ :? for help > ``` Using it ``` > {{ {"foo": 4} }} { "foo": 4 }...

Eventually it would be nice to have a unification based path to MLTT.

The eventual goal is to generate a static site much like the 1lab.dev.

I started ocaml and rust ports of this project, but they are on the extreme back burner. It would be great to have idiomatic implementations in other languages.

I don't want to make this project about parsing but it would be really nice to have a modular parser that could be easily configured to support valid terms for...