Megalodon 1.6

by Brown, Saturday, July 31, 2021, 10:47 (127 days ago)

Here is Megalodon 1.6:

http://grid01.ciirc.cvut.cz/~chad/megalodon-1.6.tgz

I updated the examples and included more about structures since these seem to be useful for the recent definitions of categories of structures.