snap

Author: rssh

2024_01_30_logic-monad-1.md

@@ -1,5 +1,7 @@
+---
+title: Scala and logical monad programming.
+---
 
-# Scala and logical monad programming.
 
   Here (https://github.com/rssh/dotty-cps-async/tree/master/logic) is a small library, 'dotty-cps-async-logic,' where a type class and default implementation are defined for logical programming with backtracking.
 

_config.yml

@@ -3,7 +3,7 @@ safe: true
 source: ./
 incremental: false
 highlighter: rouge
-  theme: minima
+#theme: minima
 gist:
   noscript: false
 kramdown:
@@ -14,3 +14,4 @@ plugins:
 title: rssh notes
 description: Random notes about programming
 author: Ruslan Shevchenko
+