Javad Esmaeili

• A Miranda structure editor with type checking