basic idris rendering

This commit is contained in:
Nathan McCarty 2025-02-04 01:20:57 -05:00
parent 56833369ce
commit 2c38910ccd
3 changed files with 44 additions and 9 deletions

1
blog
View file

@ -104,7 +104,6 @@ multi MAIN(
#| Should the post be hidden from the archive?
Bool :$hidden = False,
) {
say $default-ipkg;
my $db = read-db $db-dir;
my $id =
$db.insert-post: