Patrik Jansson

The chapters of the book are in the subdirectories L/NN/ as literate Haskell files, containing a mix of LaTeX and Haskell. Today, prompted by a student request, I added "unlitted"...

https://github.com/DSLsofMath/DSLsofMath/blob/959df2f7a7539951707fb31b5076d07862485757/L/01/E1.lhs#L145 equalityUpTo f x y = (f x) == (f y) Typical example: equality up to (mod n) means equality modulo n

To help students in Sweden translating back and forth between English and Swedish terminology I've added a translation table to the wiki. https://github.com/DSLsofMath/DSLsofMath/wiki/Translations-for-mathematical-terms To make sure the list contains the...

Make the "dictionary" sortable

2

To help students in Sweden translating back and forth between English and Swedish terminology I've added a translation table to the wiki. https://github.com/DSLsofMath/DSLsofMath/wiki/Translations-for-mathematical-terms When this list grows it would be...

Stack overflow from implicit formatting (in particular with --agda)

2

cat > bug.lagda

subst spec directive ignored

1

I would like to experiment with some visual difference between spec and code blocks (in my lecture notes for the [DSLsofMath course](https://github.com/DSLsofMath/DSLsofMath)) but it seems like the `%subst spec` directive...