This website requires JavaScript.
Explore
Help
Sign In
Web-Projects
/
blog-static
Watch
1
Star
0
Fork
0
You've already forked blog-static
Code
Issues
Pull Requests
Releases
Wiki
Activity
777
Commits
8
Branches
0
Tags
46
MiB
c197a45540
Commit Graph
3 Commits
Author
SHA1
Message
Date
Danila Fedorin
8710a5554c
Fix mistakes in the example.agda file for IsSomething.
...
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2023-09-03 11:38:00 -07:00
Danila Fedorin
48c3105f42
Finish and publish the IsSomething article
2023-08-31 22:16:26 -07:00
Danila Fedorin
032453c4d0
Add a first draft of the IsSomething article
2023-08-28 23:04:39 -07:00