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
85
Commits
1
Branch
0
Tags
49
MiB
7e63e0de68
Commit Graph
3 Commits
Author
SHA1
Message
Date
Rachel Lambda Samuelsson
5b0723ba31
switch to kramdown katex engine for markdown files
2023-12-09 15:05:40 +01:00
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