peterb

testFactorial1 not solvable with "Refl"

1

Using "Refl" as the solution for test_factorial1 (or 2) yields: ``` |-- Basics.lidr line 605 col 21: | When checking right hand side of testFactorial1 with expected type | factorial...

Enhancement: Set direction of numbering for numbered notes

1

It took me a while to discover the numbered notes in Gridmonger but now they are probably my most-used type of note. There are different ways one could imagine doing...

Enhancement: Color palette for map icons

1

Just a thought of something that might add some visual interest: right now the icons in the notes are all the same color as that theme's walls. Might be interesting...

Many dungeon crawlers have switch/door or plate/door mechanics. Link lines would be one way to annotate these. Like many things, this is just "nice to have", not a requirement. Another...