Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
chiron [2014/09/15 20:10] nikolaj |
chiron [2014/11/11 11:14] nikolaj |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ===== Chiron ===== | ===== Chiron ===== | ||
| - | ==== Meta ==== | + | ==== Framework ==== |
| >todo: Make a syntax entry for formal language, and join it with Chiron, Haskell, as well as logical theories. | >todo: Make a syntax entry for formal language, and join it with Chiron, Haskell, as well as logical theories. | ||
