Theoretical Computer Algebra System

NOTE: This section is under construction!

A 90s-looking "under construction" banner

The contents of this page are incomplete and subject to change. Check back later for a more complete version!

a series of reduction steps

Short for Haskell Computer Algebra System. An experimental project wherein I try to work with abstract syntax trees and learn Haskell at the same time.


Markdown formatting is supported.