https://github.com/ixaxaar/monoid.space

Learn pure math with agda :rocket:
https://github.com/ixaxaar/monoid.space

abstract-algebra agda algebraic-geometry category-theory homotopy-type-theory type-theory

Last synced: 5 months ago
JSON representation

Learn pure math with agda :rocket:

• Host: GitHub
• URL: https://github.com/ixaxaar/monoid.space
• Owner: ixaxaar
• License: apache-2.0
• Created: 2019-04-05T18:00:17.000Z (about 7 years ago)
• Default Branch: master
• Last Pushed: 2025-10-18T08:34:43.000Z (8 months ago)
• Last Synced: 2025-10-18T21:23:11.312Z (8 months ago)
• Topics: abstract-algebra, agda, algebraic-geometry, category-theory, homotopy-type-theory, type-theory
• Language: HTML
• Homepage: http://monoid.space
• Size: 11.8 MB
• Stars: 16
• Watchers: 2
• Forks: 0
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
![intro](./space.png)

# [monoid.space](http://monoid.space)

To visit simply click the link above.

## Building

Ensure that `agda` binary is in path.

```bash

./compile.sh

```