style: Use \mathit for Nat (
#357 )
Pull request merge
drupolpushed 1 commit to master • 942e662…c4a391a • 12 days ago
fix: Misspelled author name (
#350 )
Pull request merge
drupolpushed 1 commit to master • 07fe322…942e662 • on Jan 21
fix: Remove image background (
#344 )
Pull request merge
drupolpushed 1 commit to master • 1bd3e36…07fe322 • on Nov 29, 2024
Use consistent epsilon symbol (
#335 )
Pull request merge
drupolpushed 1 commit to master • d13765c…1bd3e36 • on Oct 20, 2024
drupolpushed 1 commit to master • 8765d97…d13765c • on Oct 8, 2024
Correct the build command for Haskell (
#339 )
Pull request merge
drupolpushed 1 commit to master • f6b9802…8765d97 • on Sep 25, 2024
Bump actions/download-artifact from 2 to 4.1.7 in /.github/workflows (
#… Pull request merge
drupolpushed 1 commit to master • c46c366…f6b9802 • on Sep 4, 2024
Bump actions/download-artifact from 2 to 4.1.7 in /.github/workflows
fix(Section 3.11): typo (A -> Set) (
#336 )
Pull request merge
drupolpushed 1 commit to master • e7615de…c46c366 • on Jun 20, 2024
readme: update NixOS wiki link (
#333 )
Pull request merge
hmemcpypushed 1 commit to master • 4cf6413…e7615de • on May 11, 2024
fix a typo in Chapter ends and coends (
#332 )
Pull request merge
drupolpushed 1 commit to master • 020991c…4cf6413 • on Apr 22, 2024
typo (\cat{C} -> \cat{C}^\mathit{op}) (
#330 )
Pull request merge
drupolpushed 1 commit to master • ab180d9…020991c • on Mar 24, 2024
drupolpushed 1 commit to master • 3d74afa…ab180d9 • on Jan 28, 2024
drupolpushed 1 commit to master • 0a81b89…3d74afa • on Oct 24, 2023
Use
\mathit
for multi-letter identifiers (
#322 )
Pull request merge
drupolpushed 1 commit to master • 1a0dff2…0a81b89 • on Oct 23, 2023
nix: refactor Nix flake files (
#323 )
Pull request merge
drupolpushed 1 commit to master • 73f788e…1a0dff2 • on Oct 22, 2023
nix: refactor Nix flake files
Make spaces after functors consistent (
#320 )
Pull request merge
drupolpushed 1 commit to master • 072d063…73f788e • on Oct 22, 2023
Fix prettier check (
#321 )
Pull request merge
drupolpushed 1 commit to master • 7a10520…072d063 • on Oct 22, 2023
Fix spacing around multiplication operator (
#319 )
Pull request merge
drupolpushed 1 commit to master • 45db8d5…7a10520 • on Oct 10, 2023
Update snippet29.hs (
#315 )
Pull request merge
hmemcpypushed 1 commit to master • ddbd27a…45db8d5 • on May 21, 2023
Update kleisli-categories.tex (
#314 )
Pull request merge
drupolpushed 1 commit to master • b5e4a59…ddbd27a • on Apr 13, 2023
nix: fix
fullname
variable (
#313 )
Pull request merge
drupolpushed 1 commit to master • 32743b2…b5e4a59 • on Apr 8, 2023
nix: fix fullname
variable
Force push
nix: fix fullname
variable
Force push
You can’t perform that action at this time.