Skip to content

Add user defined functions and sorts and refactor term sorts #27

Add user defined functions and sorts and refactor term sorts

Add user defined functions and sorts and refactor term sorts #27