Scott Fleischman
Scott Fleischman
It would be nice if the following would work. I was surprised that it didn't. ``` >>> data Dog = MkDog deriving (Generic, Show) >>> data Cat = MkCat deriving...
I have been experimenting using ormolu with "format on save" in my editor and find that it is quite convenient for relieving my mind from having to make lots of...
Load XML from https://github.com/PerseusDL Data we may want to extract: - Author - Work - Date? - A way to reference a part of the work: chapter / paragraph /...
For example, instead of having a separate paradigm just for γυνή, allow exceptions to the paradigm for specific lemmas. This will help cut down the number of one-off paradigms. ```...
Syntax ``` [adjectiveCategory| Uncontracted stems using three endings (2-1-2) with the feminine in α m: f: n: nom sg: ος α ον gen sg: ου ας ου dat sg: ῳ...
[Sergei posted](https://lists.chalmers.se/pipermail/agda/2015/007871.html) on the Agda mailing list some comments on profiling. It might be worthwhile to play around with it to see where Agda is spending its time in our...
I find myself modifying the open-ended Token type by stripping marks, removing case and other similar operations. It caused a lot of runtime issues that would have been better caught...
Load all Greek data (manuscript transcriptions). Are they available at https://github.com/papyri/idp.data ?