4 ms·
That's amazing! I've never found that site before but I'm going to read some of their papers. Thank you for linking
by koeng 7y ago
That's amazing! I've never found that site before but I'm going to read some of their papers. Thank you for linking
- codekilla 7y agoMaude fascinates me to no end. Currently I'm actually re-learning kdb+/q as I want to implement some things related to bioinformatics using it, but at some point I'd really like to do some things with logic/dependent types in biology. Happy to chat further grant <at> eonias dot org
- koeng 7y agoIs there any reason why Maude is cooler than Prolog? Concurrency? Also - will email you!