Logo
Explore Help
Sign In
Web-Projects/blog-static
1
0
Fork 0
You've already forked blog-static
Code Issues Pull Requests Releases Wiki Activity
688 Commits 9 Branches 0 Tags
0d3100ba33923ba986e5d0b2962cd5ec7535f711
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Danila Fedorin 0d3100ba33 Make exercises into details (so they can be collapsed)
2023-12-28 00:12:51 -08:00
archetypes
Generate initial site
2019-08-02 17:13:41 -07:00
assets/scss
Make exercises into details (so they can be collapsed)
2023-12-28 00:12:51 -08:00
code
Fix mistakes in the example.agda file for IsSomething.
2023-09-03 11:38:00 -07:00
content
Make minor changes to types: basics.
2023-12-27 23:31:45 -08:00
layouts/shortcodes
Make exercises into details (so they can be collapsed)
2023-12-28 00:12:51 -08:00
themes
Update theme
2023-11-29 22:28:31 -08:00
.drone.yml
Try to fix compiler build failure
2020-04-26 21:05:28 -07:00
.gitignore
Add gitignore file
2019-12-04 14:35:23 -08:00
.gitmodules
Extract compiler into its own repo
2023-01-01 15:09:41 -08:00
analyze.rb
Fix analyzer script and update graph JSON
2022-04-09 03:24:15 -07:00
config-gen.toml
Extract compiler into its own repo
2023-01-01 15:09:41 -08:00
config.toml
Add some partials to load and create a Bergamot widget.
2023-11-29 22:29:14 -08:00
submodule-links.rb
Update submodule script to properly gather submodule paths.
2021-01-11 12:39:41 -08:00
Description
A Hugo incarnation of the blog.
https://danilafe.com
47 MiB
Languages
Haskell 33.9%
Ruby 18.7%
Coq 16.4%
SCSS 8.5%
Idris 8.4%
Other 14%
Powered by Gitea Version: 1.25.2 Page: 352ms Template: 34ms
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API