Ayberk Tosun
Ayberk Tosun
I found it slightly confusing that a deletion script is generated even when no duplicates are found. Is there a good reason for this behaviour? I think it would be...
Mortality rate calculations on ringed birds with special reference to the Dunlin (_Calidris alpina_) 1961. Arkiv för Zoologi. 2. Kungliga Svenska Vetenskapsakademien. 13:483--491.
Related to issue #577, I would really like `tectonic` to give me the option to make warnings fatal.
I have encountered a problem in the last step of a development I have been carrying out in Cubical Agda. I have three remaining holes in an equational proof, and...
Something we discussed with @martinescardo a while ago. Making an issue here so that I don't forget about it. --- Currently, all Agda files in `TypeTopology` have the `.lagda` extension....
It seems that in https://github.com/martinescardo/TypeTopology/blob/5f35dfc5a2ce426a13555a26f0f7b83aef5be542/source/UF-Subsingleton-Combinators.lagda#L54-L55 and https://github.com/martinescardo/TypeTopology/blob/5f35dfc5a2ce426a13555a26f0f7b83aef5be542/source/UF-Subsingleton-Combinators.lagda#L125-L126 I accidentally used the wrong unicode character. I need to fix this at some point.
Propositional + functional extensionality should be sufficient as @martinescardo pointed out.
The `Dcpo` module contains the definitions of partial order, meet, join and so on. https://github.com/martinescardo/TypeTopology/blob/e3835afe052c470bd04333e0e532788441a83720/source/Dcpo.lagda#L37-L53 I am now working on implementing the beginnings of locale theory in `TypeTopology` for which...
As I'm making changes to the Turkish resource grammar, I am starting to doubt if the changes I'm making are messing with the stuff I have implemented before. When I...
The [status document](http://www.grammaticalframework.org/lib/doc/status.html) says that the Turkish resource grammar library does not implement the resource API. I am very interested in working on this as a native speaker of Turkish!...