G. Allais
G. Allais
github actions suddenly fails with an 'unrecognized option' error [on a PR](https://github.com/msp-strath/Mary/pull/77/checks?check_run_id=696980377) to our project https://github.com/msp-strath/mary The error is: ```shell /opt/cabal/2.0/bin/cabal user-config update -a http-transport: plain-http -v3 cabal: unrecognized 'user-config'...
I have been porting part of this library to Idris and so I have been looking at it with more precise types in mind. Which leads me to: [`solve ::...
I have modified the type of parsers (& parameters) in https://github.com/gallais/agdarsec to allow for e.g. error reporting. It would be nice to bring parseque up to date. Blog post detailing...
Cf. https://semantic-domain.blogspot.com/2013/11/antimirov-derivatives-for-regular.html The current algorithm does not quotient derivatives over associativity, commutativity and idempotence rules (it does however quotient over identity rules). But we can do better: > we can...
Could be nice to compare & contrast with another example of indexing a structure by its meaning e.g. * Constructing Correct Circuits Hardware Modelling with Dependent Types * Ornaments *...
At the moment instance constraints of the form `RawMonad (StateT S M)` are hard to discharge (if not impossible) because `StateT` is a mere type-synonym which unfolds to a function...
Rather than Haskell's ```haskell isPrefixOf :: Eq a => [a] -> [a] -> Bool isSuffixOf :: Eq a => [a] -> [a] -> Bool isInfixOf :: Eq a => [a]...
Rather than indexing commands by just their name, we index them by their full path. This gives us an easy access to said path e.g. when printing the usage information...
At the moment we only guarantee that there are no duplicates but we should replace the `String` type with one with stronger guarantees (using `fromString` to provide backwards compatible surface...
Pros: 1. A function `handle : cmd ~:> IO ()` rather than a """record""" 2. Coverage checking works Cons: 1. It's hijacking the `fromString` mechanism 2. It'd be nicer to...