This website requires JavaScript.
Explore
Help
Sign In
rachel
/
rachel.cafe
Watch
1
Star
0
Fork
0
You've already forked rachel.cafe
Code
Issues
Pull Requests
Projects
Releases
Wiki
Activity
49
Commits
1
Branch
0
Tags
49
MiB
3263836cde
Commit Graph
2 Commits
Author
SHA1
Message
Date
depsterr
a1fa31d547
added link to rijkes now published HoTT book
2022-12-22 18:17:00 +01:00
depsterr
2d33d6dbb7
post haskell and logic
2022-12-15 20:17:08 +01:00
Mastodon