Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revision Both sides next revision | ||
chiron [2014/03/27 21:36] nikolaj |
chiron [2014/09/15 20:10] nikolaj |
||
---|---|---|---|
Line 1: | Line 1: | ||
===== Chiron ===== | ===== Chiron ===== | ||
==== Meta ==== | ==== Meta ==== | ||
+ | >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}} | ||