Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
chiron [2014/03/27 21:36] 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. | ||
| {{ chiron-moreau.jpg?X300}} | {{ chiron-moreau.jpg?X300}} | ||
