Commit Graph

7 Commits

Author SHA1 Message Date
Matej Šima
518c743172 LIGO-258 Docs updates 2020-01-29 16:15:03 +00:00
Lesenechal Remi
d31eec1327 fix "math-numbers-tez.md" 2019-12-31 14:23:51 +01:00
Sander Spies
6f9134834f Remove original Cameligo and rename Ligodity to Cameligo. 2019-12-12 14:35:07 +01:00
Sander Spies
1cbf828bdb Improve ReasonLIGO documentation a bit more. 2019-12-11 14:47:52 +01:00
Sander
20793b0924 Improve ReasonLIGO documentation. 2019-12-11 09:34:08 +00:00
Sander
95a7e19be6 Add ReasonLIGO support 2019-12-10 13:47:31 +00:00
Matej Šima
628d818163 Revert "Merge with dev"
This reverts commit 6ffe220d928dc3137496bcea0cc0f4d72edc2846.
2019-11-07 23:19:27 +00:00