README.md 51 B

2d animation in haskell & agda (early development)