Items related to Haskell

Blog

25 Sep 2021

I'm attempting to make a CMS in haskell, again . You'd think that given how poorly it went last…

/projects/astrid-tech Haskell

HasCAS Project

1 Mar 2020 to 16 Nov 2020

Theoretical Computer Algebra System

![a series of reduction steps](./thumbnail.png)Short for Haskell Computer Algebra System. An…

Haskell Abstract Syntax Trees Math Metamathematics Under Construction

A third redesign? Blog

3 May 2021

The grass is always greener on the other side

So we're already on astrid.tech v2, despite the fact that the footer still says v1. However, I'm…

/projects/astrid-tech website Rust Scala Haskell Python Django

astrid.tech v1.0! Blog

17 Oct 2020

A reflection on the project and on imposter syndrome

astrid.tech v1.0 is finally published after 6 months of active development! Major version 1 has the…

/projects/astrid-tech/ notes tips-and-tricks computer-science impostor-syndrome /projects/quest-of-con/ /projects/tanksberry-pi/ +4